19 May
2009
19 May
'09
6:32 a.m.
On Mon, May 18, 2009 at 10:06 PM, Ryan Ingram <ryani.spam@gmail.com> wrote:
On Mon, May 18, 2009 at 3:05 PM, Taral <taralx@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@gmail.com> "Please let me know if there's any further trouble I can give you." -- Unknown