with: Instrument ~> Instrument