module Input : Core.Binable
module Output : Core.Binable
val map : Input.t ‑> Output.t Async.Deferred.t