1-Thread.Sequencer
type 'a monad = 'a t
type 'a t
val create : 'a -> 'a t
val enqueue : 'a t -> ( 'a -> 'b monad ) -> 'b monad