path: root/testsuite/tests/ghc-regress/indexed-types/should_compile/ClassEqContext3.hs

{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE MultiParamTypeClasses #-}

module ClassEqContext  where 

class a ~ b => C a b

instance C Char Char