For example for `Option` which is defined `Kind&lt...
# arrow
s
For example for
Option
which is defined
Kind<ForOption, A>
so it only takes 1 param so unapplied it’s just
ForOption
. So we define
Functor<ForOption>