On Mon, May 18, 2009 at 10:06 PM, Ryan Ingram <ryani.s...@gmail.com> wrote:
> On Mon, May 18, 2009 at 3:05 PM, Taral <tar...@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 <tar...@gmail.com>
"Please let me know if there's any further trouble I can give you."
-- Unknown
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
