Generics.SOP.Metadata
data DatatypeInfo
data ConstructorInfo
data FieldInfo
type DatatypeName
type ModuleName
type ConstructorName
type FieldName
type Fixity
data Associativity