[eru]

> Comprehensions in Haskell originally worked for all monads too.

And that behaviour is still accessible via a compiler extension.

[nerdponx]

Idris 2 still has both "monad comprehensions" and an applicative equivalent called "idiom brackets".

https://idris2.readthedocs.io/en/latest/tutorial/interfaces....

https://idris2.readthedocs.io/en/latest/tutorial/interfaces....