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

{-# LANGUAGE GADTs, TypeInType, EmptyDataDecls #-}

module T16263 where

import Data.Kind

data Q :: Eq a => Type where {}