WIP coercion Functor >-> Pseudofunctor
WIP
WIP