haskell Monads for free