blob: 12e2a15b3f2654cea37f64962a62148d28fd09b1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE StandaloneDeriving, GeneralizedNewtypeDeriving #-}
module ShouldCompile where
data T a = T1 a | T2
newtype N = MkN Int
deriving instance Eq a => Eq (T a)
deriving instance Num N
deriving instance Eq N
deriving instance Show N
|