Extended type parameter notation to include comments and bounds