I’m impressed. One of the big hurdles of extendable types is figuring out which subtype a parameter is. Overloaded methods are a blunt tool that involves lots o

I’m impressed. One of the big hurdles of extendable types is figuring out which subtype a parameter is. Overloaded methods are a blunt tool that involves lots of indirection. Generics force you to structure classes in a specific way. Pattern matching is the cleanish solution to the problem of “what type so I have here and what do I do with it?”