path: root/testsuite/tests/polykinds/T7502.hs

{-# LANGUAGE DataKinds #-}
module T7502 where

type S = [1,2]