let id =
  Fun t in
    fun f(x) is x end
  end
  : All t. t -> t
in
  id[int] 17
end : int
;