that's what we likely intend to do for that issue: use that + type information to generate the synthetic arrows and rewrite the expressions