A macro library that converts native imperative syntax to scalaz's monadic expressions
Comprehensions for Arrows and Monoidal categories