Beispiel zur Polymorphie (I)

• Was ist der allgemeinste Typ von

  f1 g x = length $ g [g x]
  

• Beispiel für einen typkorrekten Aufruf von f1?
• Ist dieser Aufruf typkorrekt?

  f1 ( \ x -> x ) 0