At: http://www.haskell.org/hawiki/MonadError I see: [[ instance Monad (Either e) where return = Right (Left e) >>= _ = e (Right a) >>= f = f a ]] Shouldn't that be: [[ (Left e) >>= _ = Left e ]] ? #g ------------ Graham Klyne For email: http://www.ninebynine.org/#Contact