Agda.TypeChecking.Datatypes
getConstructorData
isDatatype
data
DatatypeInfo
getDatatypeInfo