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

[Nicolas Pouillard]

Excerpts from Taral's message of Tue May 19 00:05:39 +0200 2009:
> On Mon, May 18, 2009 at 10:30 AM, Nicolas Pouillard
> <nicolas.pouillard at gmail.com> wrote:
> > The type I would need for bind is this one:
> >
> >  (>>=) :: NFData sa => LI sa -> (sa -> LI b) -> LI b
> 
> Will this do?
> 
> (>>=) :: (NFData sa, NFData b) => LI sa -> (sa -> LI b) -> LI b

No this one would be too strict. In particular functions are not member of
NFData (and for good reasons) and we may want to have LI values holding non
"forcable" values.

However I got your idea and it can be useful.

Thanks,

-- 
Nicolas Pouillard