\begin{slide}{(Co-)Varianz von Typparametern}

  \begin{itemize}
  \item aus \verb|B extends A|
    folgt nicht \verb|List<B> extends List<A>|
  \item
    \verb|in/out| an Typparametern in C\# 4
  \end{itemize}


\end{slide}
