Candidates for functor-monadic