withStateT

withStateT f m executes action m on a state modified by applying f.
withStateT f m executes action m on a state modified by applying f.
withStateT with MergingStrategy knowledge propagation.