WIP coercion Functor >-> Pseudofunctor