Control.Monad.Reader.Class.Wiring