name type export interface Left < A > { readonly '@typed/Left' : A ; } export namespace Left { name export function of < A > ( value ) { return { '@typed/Left' : value } ; } } name export function fromLeft < A > ( left ) { return left [ '@typed/Left' ] ; }