[P5] Higher Order (Generic) types for Perl 5