Re: [Haskell-cafe] Sequence of lifting transformation operators

In general no. IMO this is better used with commutative monads (is that the right term?) such as [] or Maybe, rather than monads such as IO. However, there is a well-defined order, that I presume is inner-to-outer left-to-right, but I don't actually have experience programming in Idris. Reference: http://docs.idris-lang.org/en/latest/tutorial/interfaces.html#notation Excerpts from Alexey Vagarenko's message of January 31, 2017 12:56 am:

What is the order of unwrapping? `return $ !a + !b` doesn't equals `return $ !b + !a` right?

--Taeer