Pattern Matching as a different kind of polymorphism - View it on GitHub