Ocaml.Sync
type ('f, 'leftmost_input) t
val return : 'a Type.t -> ('a Core.Or_error.t, unit) t
val (@->) : 'a Type.t -> ('b, _) t -> ('a -> 'b, 'a) t