Data.Monoid.Instances.Stateful
data
Stateful
a b
inject
extract
state
setState