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