Data.Monoid.Reader
Data.Monoid.State
Data.Monoid.Transformer