so functor lets you generalize `A -> B` into `F...
# arrow
d
so functor lets you generalize
A -> B
into
F<A> -> F<B>