testsuite/tests/polykinds/T11611.hs


1
2
3
4
5
6
7
8

{-# LANGUAGE DataKinds, StandaloneDeriving, TypeOperators, GADTs, FlexibleInstances #-}

module T11611 where

data A a where
  A :: A (a:as) -> a -> A as

deriving instance Show a => Show (A a)