Safe Haskell	Safe-Inferred

TypeFamilies2

Documentation

data X

Instances

data Bar X = BarX Y
type Foo X = Y

type family Foo a

Instances

type Foo X = Y
type Foo X = Y	External instance

data family Bar a

Instances

data Bar X = BarX Y
data Bar Y