Control.Arrow.Reader
data
ReaderT
r s a b
withReaderT