21 Jan
2012
21 Jan
'12
1:08 p.m.
* David Barbour
As noted, IO is not strict in the value x, only in the operation that generates x. However, should you desire strictness in a generic way, it would be trivial to model a transformer monad to provide it.
Again, that wouldn't be a monad transformer, strictly speaking, because "monads" it produces violate the left identity law. -- Roman I. Cheplyaka :: http://ro-che.info/