blob: 1d24a9f61efc74b0c8355f2da66bfbd5966307dc (
plain) (
tree)
|
|
{-# LANGUAGE Haskell2010 #-}
{-# 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
|