Agda.TypeChecking.Datatypes
getConstructorData
isDatatype
isDataOrRecordType
data DatatypeInfo
getDatatypeInfo