Rekursionsmuster

Zu dem Datentyp für nichtleere binäre Bäume

data Tree k = Leaf k
   | Node (Tree k) k (Tree k)

gehört ein Rekursionsmuster (fold).
Geben Sie dessen Typ an.

Geben Sie Typ und Bedeutung dieser Funktion an:

fold (\ k -> if k then 1 else 0) 
     (\ x k y -> x + y)

Schreiben Sie mittels fold die Funktion, die einen Baum spiegelt. Test:

sp (Node (Leaf 1) 2 (Leaf 3)) 
    ==  Node (Leaf 3) 2 (Leaf 1)