1 2 3 4 5 6 7
{-# LANGUAGE PolyKinds, DataKinds, TypeFamilies #-} module T15743 where import Data.Proxy data T (b :: Proxy (k2 :: k)) c (a :: k)