Syntax extensions for Erlang provides do-notation and Monads