Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T11821a.hs
1 {-# LANGUAGE GADTs, DataKinds, PolyKinds, ConstraintKinds #-}
2 module T11821a where
3 import Data.Proxy
4 type SameKind (a :: k1) (b :: k2) = ('Proxy :: Proxy k1) ~ ('Proxy :: Proxy k2)