so the rule to make these accessible is to take Ki...

# arrow

[pakoito]

so the rule to make these accessible is to take Kind (or the typealias EitherOf, IOOf, ListKOf) and return a concrete type (Either, IO, ListK)