Exported products should shadow internal deps, which should shadow external deps. IIUC, in `append` the lhs shadows the rhs, so the order here should be reversed.