import { type Traversable } from "https://deno.land/x/fun@v2.0.0/examples/hkts.ts";
definition: Functor<T> & { traverse: TraversableFn<T>; }
import { Traversable } from "https://deno.land/x/fun@v2.0.0/examples/hkts.ts";
freer.ts
I
I
I
T
T
T
T
T
T
T
T
T
T
T
T
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
hkts.ts
I
I
T
T
T
T
T
T
T
T
T
T
T
T
v
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
v
T
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v