# Evaluates to 65536.

let
  twice = fn f => fn x => f (f x)
in
  twice twice twice twice succ 0
end