module Bug1a where

class Eq m => C m t e | t -> e where
    t :: t -> (m,e)