Idris 2 still has both "monad comprehensions" and an applicative equivalent called "idiom brackets". https://idris2.readthedocs.io/en/latest/tutorial/interface

Idris 2 still has both "monad comprehensions" and an applicative equivalent called "idiom brackets". https://idris2.readthedocs.io/en/latest/tutorial/interfaces.html#monad-comprehensions https://idris2.readthedocs.io/en/latest/tutorial/interfaces.... https://idris2.readthedocs.io/en/latest/tutorial/interfaces.html#idiom-brackets https://idris2.readthedocs.io/en/latest/tutorial/interfaces....