drv014.hs 243 Bytes
Newer Older
1
{-# LANGUAGE StandaloneDeriving, GeneralizedNewtypeDeriving #-}
2

3
4
5
6
7
module ShouldCompile where

data T a  = T1 a | T2
newtype N = MkN Int

8
9
10
11
deriving instance Eq a => Eq (T a)
deriving instance Num N
deriving instance Eq N
deriving instance Show N