{-# LANGUAGE DefaultSignatures #-}
class C a where
    f :: a -> a -> Bool
    default f :: (Eq a) => a -> a -> Bool
    f x y = x == y