Re: [Haskell-cafe] Re: [Haskell] [ANN] Safe Lazy IO in Haskell

19 May 2009


      On Mon, May 18, 2009 at 10:06 PM, Ryan Ingram  wrote:
...
On Mon, May 18, 2009 at 3:05 PM, Taral  wrote:
...
Will this do?
(>>=) :: (NFData sa, NFData b) => LI sa -> (sa -> LI b) -> LI b
No, the problem is that >>= on monads has no constraints, it must have the type
...
LI a -> (a -> LI b) -> LI b
I'm pretty sure you can do something like:

newtype LIMonad x = NFData x => LI x

-- 
Taral 
"Please let me know if there's any further trouble I can give you."
    -- Unknown