summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T7502.hs
blob: bdaf4b9ee65fa400c89bfefc09713fa7497cd205 (plain)
1
2
3
4
{-# LANGUAGE DataKinds #-}
module T7502 where

type S = [1,2]