findMax Tip              = error "Set.findMax: empty set has no maximal element"
findMax Tip              = error "Set.findMax: empty set has no maximal element"
findMax Tip              = error "Set.findMax: empty set has no maximal element"