Nested action notation to avoid annoyance(Meta programming related)

[atravers]

But also be careful where you use it. Haskell is non-strict whereas Lean4 and Idris are strict, so not all of their “syntactic sweeteners” can be trivially reimplemented in Haskell.