Most people don't reach for reflection to pattern match on types, because when a type _changes_ you get very nice errors at all places where you've just introdu

Most people don't reach for reflection to pattern match on types, because when a type _changes_ you get very nice errors at all places where you've just introduced a bug.