On Thursday, 2003-07-10, 15:33, Ross Paterson wrote: > [...] > Subclasses in Haskell cover a range of relationships, including this sense > where things in the subclass automatically belong to the superclass. Other > examples include Eq => Ord and Functor vs Monad. By the way, I strongly vote for Functor being a superclass of Monad in Haskell 2. > [...] Wolfgang