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