type +'a t
=
|
T : 'b Async_kernel__.Deferred0.t * ('b ‑> 'a) ‑> 'a t
val map : 'a t ‑> f:('a ‑> 'b) ‑> 'b t