States.ActionAdder
module type ActionAddition = sig ... end
module Make (A : ActionAddition) (S : MyMonadicSMemory.S with type t = A.t) : sig ... end