import { type $ } from "https://deno.land/x/fun@v2.0.0/examples/freer.ts";
definition: Substitute<T, { [covariant]: Out; [contravariant]: In; [invariant]: InOut; }>
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