Fine by me - you also pointed out that `switch` does loose comparison, so that will work anyway