A value of type 'a t
is an iterator over values of type 'a
that live in the monad M.t
. For instance, if M
is Lwt
, accessing
each element might require some IO operation (reading a file, etc.)
val return : 'a ‑> 'a t
module Infix : sig ... end