Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T7502.hs
1 {-# LANGUAGE DataKinds #-}
2 module T7502 where
3
4 type S = [1,2]