Chris Wong wrote: > > secondEitherT :: Functor m => (a -> b) -> EitherT e m a -> EitherT e m b > > This is just fmap Doh! Yes, yes it is. Erik -- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/