{-# LANGUAGE TypeFamilies, MultiParamTypeClasses #-}

module ClassEqContext  where 

class a ~ b => C a b