Monadic Embedded Domain-Specific Languages

Embedded DSLs are a powerful tool for abstracting effects and business logic. Using free monads and other techniques to isolate each domain into a little language, then compose mini-programs to build applications.