export interface Focus { readonly left: any; // TODO narrow types readonly element: E; readonly right: any; } export const Focus = (left: any, element: E, right: any): Focus => ({ left, element, right });