{-# LANGUAGE DefaultSignatures #-}
module Main (main) where

class C a where
        f :: a -> a -> Bool
        
        default f :: (Eq a) => a -> a -> Bool
        f x y = x == y