let suc = function n -> S (n)