Generics.Deriving.Default
Kind
*
(aka
Type
)
data
Default
a
Kind
* -> *
(aka
Type -> Type
)
data
Default1
f a
Other kinds