Data.Monoid.Reader
data
T
r a
pure