Safe Haskell	Safe

TypeFamilies2

Synopsis

Documentation

data W

Exported type

Instances

data Bar W = BarX Z	Shown because BarX is still exported despite Z being hidden
type Foo W

type family Foo a

Exported type family

Instances

type Foo W
type Foo X = Y

data family Bar a

Exported data family

Instances

data Bar W = BarX Z	Shown because BarX is still exported despite Z being hidden
data Bar Y