F<A> isn’t a koltin thing, so we have Kind&l...
# arrow
p
F<A> isn’t a koltin thing, so we have Kind<F, A>