TypeFamilies2
Synopsis
data W #
Exported type
Instances
Shown because BarX is still exported despite Z being hidden
type family Foo a #
Exported type family
data family Bar a #
Exported data family