let id =
  fun f(x) is x end : int -> int
in
  id 5
end : int
;