That because IO implies explicit order, Monad as an ADT has been used to explicitly evaluate one expression at a time. It has no "magic" or "special mathematical" properties.