That's pohibitively expensive in the general case when external input is used and/or when arithmetic is used on the values (main differerence to sum-types).