aboutsummaryrefslogblamecommitdiff
path: root/html-test/src/Bug923.hs
blob: bb5bca0a92702c32bac69f94610b83dc263e6551 (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11









                                                                    
{-# LANGUAGE KindSignatures, FlexibleInstances, GADTs, DataKinds #-}
module Bug923 where

-- | A promoted tuple type
data T :: (* -> (*,*)) -> * where
  T :: a -> T ('(,) a)

-- | A promoted tuple type in an instance
instance Eq a => Eq (T ('(,) a)) where
  T x == T y = x == y