path: root/testsuite/tests/indexed-types/should_fail/SimpleFail6.hs

{-# LANGUAGE TypeFamilies #-}

module ShouldFail where

-- must fail: Repeated type variable
class C4 a where
  data S4 a a :: *