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