A Functor is also a container
# arrow
p
A Functor is also a container