class Foo a where

  {-# MINIMAL     (==)   |(  (/=) ,       foo) #-}

  {-#    MINIMAL a | (b , c      , d | e
     , f)
    |   g  #-}

  (==) :: a -> a -> Bool
  (/=) :: a -> a -> Bool