`Kind<F, B>` instead of `Unit`, that way you...
# arrow
p
Kind<F, B>
instead of
Unit
, that way you can
map
in one go