blob: e442042bb13a82893a8e1cfbd7a228c718a401f5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE TypeFamilies #-}
module ShouldCompile where
class C a where
data Sd a :: *
data Sn a :: *
type St a :: *
instance C Int where
data Sd Int = SdC Char
newtype Sn Int = SnC Char
type St Int = Char
|