Ocaml.Async
type 'f t
val unit : unit Async.Deferred.t t
val (@->) : 'a Type.t -> 'b t -> ('a -> 'b) t