that’s why it’s wrapped on a Kind<F, (A) -> ...
# arrow-contributors
p
that’s why it’s wrapped on a Kind<F, (A) -> B>