control-dsl (hackage): An alternative to monads in do notation
Keywords: bsd3|control|dsl|effect|general|io|language|library|mutable-state|polymorphism