\begin{diagram}{Specialized type}{specializedtype}
\begin{mysyntdiag}
\synt{specialized\ type} \lit*{specialize} 
\synt{identifier} \verb+ < + \synt{type\ identifier\ list} \verb+ > +
\end{mysyntdiag}
\begin{mysyntdiag}
\synt{type\ identifier\ list} 
\begin{rep}[b]
\synt{identifier}\\
\lit* ,
\end{rep}
\end{mysyntdiag}
\end{diagram}