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

{-# LANGUAGE TypeFamilies #-}

data family T1 a :: * -> *
data instance T1 Int           = T1_1   -- must fail: too few args