WIP Actually do PseudofunctorToCat right