path: root/testsuite/tests/indexed-types/should_compile/ClassEqContext2.hs

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

module ClassEqContext  where 

class (Show a,a ~ b) => C a b