Monadic compiler.