Control.Monad.Trans.RWS.Strict.Wiring