Control.Monad.RWS.Strict.Wiring

class Wirable a b