A macro library that converts native imperative syntax to scalaz's monadic expressions.