[Haskell] [ANN] Safe Lazy IO in Haskell

[Jason Dusek]

  From the documentation:

 "  LI could be a strict monad and a strict applicative functor.
    However it is not a lazy monad nor a lazy applicative
    functor as required Haskell. Hopefully it is a lazy
    (pointed) functor at least.

  I'd like to understand this better -- how is LI incompatible
  with being a lazy monad, exactly?

--
Jason Dusek