Polymorphism: A New Approach to Typing

extension functions give you just a discoverability that wasn't there. It's weird how these different strategies for polymorphism intertwine, and sometimes we assemble them together to actually be useful. Although from a readability standpoint, that could produce some really obtuse code.