optional: relax constness
with_(...)_as(...)