Improved monads, parser in latte