Free monads give a general way of turning functors into monads.
I've seen the term Free Monad pop up every now and then for some time, but everyone just seems to …