Control.Dsl: An alternative to monads in do-notation See Control.Dsl on Hackage for more information.