import { type Semigroup } from "https://deno.land/x/fun@v2.0.0/examples/hkts.ts";
definition: { concat: SemigroupFn<T>; }
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