Machine.Syntax
Computation Syntax.
include Monads.Std.Monad.Syntax.S with type 'a t := 'a t
val (!!) : 'a -> 'a t
!!x
is return x
!$$$$f
is Lift.quaternary f
val (>>>) : 'a observation -> ('a -> unit t) -> unit t
event >>> action
is the same as Observation.observe event action