external f : unit -> unit B.t = "%identity"