Typinferenz um 2 Beispiele erweitert