22 Jan
2012
22 Jan
'12
2:08 a.m.
* David Barbour <dmbarbour@gmail.com> [2012-01-21 10:01:00-0800]
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/