I made some additions to the wiki page: https://projects.cecs.pdx.edu:8443/~black/NewOOL/index.cgi/wiki/RevisedTypeSyntax I’m thoroughly confused at all of the options. None seems very clean. Generic really do make everything much more confusing. Maybve we should just use method syntax for type parameters? Andrew