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

{-# LANGUAGE DataKinds, PolyKinds #-}
module T14209 where

data MyProxy k (a :: k) = MyProxy
data Foo (z :: MyProxy k (a :: k))