testsuite/tests/patsyn/should_compile/T8966.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE PolyKinds, KindSignatures, PatternSynonyms, DataKinds, GADTs  #-}

module T8966 where

import Data.Kind (Type)

data NQ :: [k] -> Type where
   D :: NQ '[a]

pattern Q = D