Schwache Inverse

• Def: f' heißt schwach invers zu f,
  wenn ∀x : f (f'(f (x))) = f (x).

  Bsp: sum' xs = ...

• Ziel: f = foldb ... h mit

  h x y = f (f' x ++ f' y)

• Satz: diese Darstellung existiert und ist korrekt, wenn f sowohl als foldr als auch foldl darstellbar ist.
• Bemerkung: die Argument von fold(l/r) braucht man nicht für den Satz, aber man kann daraus f' bestimmen (teilw. automatisch).

Ü: schwaches Inverses von mpss