This indicates that the author can annotate type parameters, but it doesn't seem to include a syntax for that?