import { type Some } from "https://deno.land/x/fun@v2.0.0/examples/hkts.ts";
definition: { tag: "Some"; value: A; }
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