It's not "removing a possible value from your map", it's having your type system explicitly check that you're handling the edge case at compile time. This works

It's not "removing a possible value from your map", it's having your type system explicitly check that you're handling the edge case at compile time. This works in practice in a wide variety of languages.