Control.Monad.RWS.Lazy.Wiring

class Wirable a b