Can't observe sharng so easily in HOAS.
Re-assemble expressions from reified graph.