Agda.TypeChecking.Datatypes
getConHead
getConTerm
getConForm
getOrigConHead
getOrigConTerm
getConstructorData
getConType
getConstructorArity
isDatatype
data DataOrRecord
isDataOrRecordType
isDataOrRecord
getNumberOfParameters