path: root/testsuite/tests/ghc-regress/indexed-types/should_fail/SimpleFail3a.hs

{-# LANGUAGE TypeFamilies #-}

module ShouldFail where

class C1 a where
  data S1 a :: *

-- must fail: wrong category of type instance
instance C1 Int where
  type S1 Int = Bool