Safe Haskell	Safe-Inferred

TypeFamilies2

Documentation

data X

Instances

type Foo X = Y

type family Foo a

Instances

type Foo X = Y