Multi-type protocol-based polymorphism - View it on GitHub