Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T14209.hs
1 {-# LANGUAGE DataKinds, PolyKinds #-}
2 module T14209 where
3
4 data MyProxy k (a :: k) = MyProxy
5 data Foo (z :: MyProxy k (a :: k))