findMin Tip             = error "Set.findMin: empty set has no minimal element"
findMin Tip             = error "Set.findMin: empty set has no minimal element"
findMin Tip             = error "Set.findMin: empty set has no minimal element"