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

{-# LANGUAGE TypeFamilies #-}

module Class3 where

class C a where
  foo :: a -> a
instance C ()

bar :: (a ~ ()) => a -> a
bar = foo