3 ms·

I'm not sure what you're trying to say.

• dschiptsov 11y ago
  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.