when you can extract `F<A> -> A` non bloc...
# arrow
r
when you can extract
F<A> -> A
non blocking with lang support then the functor hierarchy is useless for the most part