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

Reply via email to