Agda.TypeChecking.Datatypes
getConHead
getConForm
getOrigConHead
getConstructorData
getConType
data HasEta
data ConstructorInfo
getConstructorInfo
getConstructorArity
isDatatype
data DataOrRecord
isDataOrRecordType
isDataOrRecord
getNumberOfParameters
getConstructors