add a same-order variant for record instances