Quasiquotification (thanks to @xeno_by).