type 'a t
= 'a t
val lambda : (int Core.String.Map.t ‑> string Fast_queue.t ‑> 'a) ‑> 'a t
val return : 'a ‑> 'a t