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