Generics.SOP.Metadata
data DatatypeInfo
moduleName
datatypeName
constructorInfo
data ConstructorInfo
constructorName
data FieldInfo
fieldName
type DatatypeName
type ModuleName
type ConstructorName
type FieldName
type Fixity
data Associativity