Nested action notation to avoid annoyance(Meta programming related)

[jaror]

There is some previous discussion:

• Monadic Bang: A plugin for more concise do-block notation, inspired by Idris
• Borrow some Applicative/Monad syntax from Idris · Issue #527 · ghc-proposals/ghc-proposals · GitHub