gistfile1.hs

let p n = n (+1) 0
let zero f x = x
let succ n f x = f (n f x)
let mult m n f = n (m f)

let dx = succ

-- base case
λ p $ square (succ (succ zero))
4

-- recalculation case
λ p $ square (dx (succ (succ zero)))
9

-- (wrong) incremental case
λ p $ (square dx) (square (succ (succ zero)))
6