import { type FState } from "https://deno.land/x/fun@v2.0.0/examples/freer.ts";
Define State in terms of Freer
type FFState s = FFree (State s)
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