subtype Foo, as ArrayRef[Str], where { @$_ 5 };
Foo is now a parameteriz*able* type, not a parameteriz*ed* type; that is,
in theory (if the MooseX::Types decorators allow it), you can:
has foo_classes = (isa = Foo[ClassName]);
since ClassName is a subtype of Str.
This surprised me, and
Excerpts from Hans Dieter Pearcey's message of Thu Sep 03 20:52:02 -0400 2009:
subtype Foo, as ArrayRef[Str], where { @$_ 5 };
Foo is now a parameteriz*able* type, not a parameteriz*ed* type; that is,
in theory (if the MooseX::Types decorators allow it), you can:
has foo_classes =