sequences: fix supremum-by and infimum-by to be row polymorphic.