`Kind<F, A>`
# arrow
p
Kind<F, A>