jw
We decided to restrict the syntax of type parameter declarations so that all such declarations are consistent