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

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

import Data.Proxy

data B = MkB (Proxy 'MkB)