Modularisierung
Die komplizierten arithmetischen Ausdrücke in cadd können in eine Funktion gepackt werden:
fa p [x,y,c] = [(x+y+c) `div` p, (x+y+c) `mod` p]
Durch Zusammenstecken erhalten wir
cadd p (k+1) = splice (2*k) (cadd p k) (fa p)
Beachte wieder, daß dies rein formal eingführt wird!