Agda.TypeChecking.Empty
isReallyEmptyType
isEmptyType