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

{-# LANGUAGE GADTs, PolyKinds, DataKinds #-}
module T15116 where

import Data.Proxy

data A (a :: k) where
  MkA :: A MkA