\documentclass{article}

\begin{document}

\section{Generics sind notwendig}
Generics können nicht ignoriert werden.
Folgender Fall ist Typisierbar:

\begin{program}
<T> T m1(T x){
	return m2(x);
}

m2(x){
	m1(1);
	m2("Test");
	return m1(x);
}
\end{program}

Beim weglassen des Generics T wäre es aber nicht mehr möglich.
Dann erhält jeder Constraint, welcher in Verbindung mit der Methode m1 steht
den selben TPH.

\end{document}
