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

Taral 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."
    -- Unknown


More information about the Haskell-Cafe mailing list