First look: Advanced Polymorphism whitepaper

[John M. Dlugosz]

Here is a first look at the ideas I've worked up concerning the Perl 6 
type system.  It's an overview of the issues and usage of higher-order 
types in comparison with traditional subtyping subclasses.

http://www.dlugosz.com/Perl6/
--John