Data.Monoid.State
data
T
s a
pure
evaluate
execute
put
modify
mapFst