testsuite/tests/parser/should_compile/T5682.hs


1
2
3
4
5
6
7
8
9
10
11
12
13

{-# LANGUAGE DataKinds, PolyKinds, DeriveDataTypeable, StandaloneDeriving, TypeOperators #-}

module T5682 where

import Data.Typeable

data a :+: b = Mk a b
data Foo = Bool :+: Bool

type X = True ':+: False

deriving instance Typeable '(:+:)