Control.Monad.Readers
class
MonadReaders
r m
viewPoly