Monads for free