tricky instance declarations

Ashley Yakeley ashley@semantic.org
Fri, 3 May 2002 04:07:26 -0700


At 2002-05-03 03:53, Warrick Gray wrote:

>instance Monad (IO (Either ConnError a)) where

You do of course mean

 instance Monad (/\a => IO (Either ConnError a)) where
   ...

...but you just can't do type-lambdas in Haskell.

-- 
Ashley Yakeley, Seattle WA