In response to questions on my whitepaper, I made this companion
to bring people up to speed on the issue.
<http://www.dlugosz.com/Perl6/web/isa-inheritance.html>
"Think you know what “polymorphism” means? Well, the Object-Oriented
textbooks have been keeping a dirty little secret from you. Polymorphism
isn’t just the base/derived reuse capability you know from modern
languages. That is just one limited way that these languages support
polymorphism. If you’ve done any template metaprogramming or used the
C++ STD much, you might be seeing another way to support it."