Coyoneda comes up with algebraic effects systems as the "Freer Monad."

`Free (Coyoneda f)` gives you `Freer` which allows you to build Monads without even a `Functor` on `f`.