let eq (ds1, _) (ds2, _) = ds1 == ds2