[Haskell-cafe] Re: [Haskell] [ANN] Safe Lazy IO in Haskell
taralx at gmail.com
Tue May 19 02:32:03 EDT 2009
On Mon, May 18, 2009 at 10:06 PM, Ryan Ingram <ryani.spam at gmail.com> wrote:
> On Mon, May 18, 2009 at 3:05 PM, Taral <taralx at gmail.com> 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 <taralx at gmail.com>
"Please let me know if there's any further trouble I can give you."
More information about the Haskell-Cafe