\begin{slide}{Generics und Subtypen (II)}

in Haskell geht das jedoch:
\begin{verbatim}
class C t where { } -- entspricht: interface
class C t => E t where { } -- entspr: extends

f :: C t => [t] -> Int
f = undefined

g :: E t => [t] -> Int
g xs = f xs
\end{verbatim}
Warum tritt das vorige Problem hier nicht auf?

\end{slide}
