Generics und Subtypen (II)

in Haskell geht das jedoch:

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

Warum tritt das vorige Problem hier nicht auf?