* David Barbour <dmbarb...@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/ _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
