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 `F

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`.