module Bug2a where

class Monad m => C m t e | t -> e where
    t :: t -> m e