TypeFamilies
Synopsis
type family G a :: *
Type family G
class A a where
A class with an associated type
Associated Types
data B a :: * -> *
An associated type
Methods
f :: B a Int
A method
Instances
type family F a
Doc for family
g :: B Int Integer