Control.Monad.Reader.Wiring
class
Wirable
a b
wiredAsk