path: root/testsuite/tests/dependent/should_compile/T15743.hs

{-# LANGUAGE PolyKinds, DataKinds, TypeFamilies #-}

module T15743 where

import Data.Proxy

data T (b :: Proxy (k2 :: k)) c (a :: k)