Well if you were good about using pattern matching everywhere, and not using the wildcard pattern for your last case You will get warnings about inexhaustive pattern matches exactly where you need them, and you don't have to worry about forgetting to change some other part of your code, when you add that constructor. 