variable widenimport { widen } from "https://deno.land/x/hkts@v0.0.52/reader_either.ts"; type<F>() => <R, E, A>(ta: ReaderEither<R, E, A>) => ReaderEither<R, E | F, A>