Data.Monoid.State
data T s a