thrice : (N -> N) -> (N -> N)
thrice(f)(n) = f(f(f(n)))