Data.Monoid.Reader
data T r a