makes the internal dependency explicit
quasiquotification