Agda.TypeChecking.Empty
isEmptyType
isEmptyTypeC