you'd need a functor somewhere
# arrow
p
you'd need a functor somewhere