What sort of ordering guarantee do we get here? At the very least, are the results deterministic? I'm not sure how we ought to balance the priorities of primary vs mixin types, but we should at least have consistent behavior.