Give a proper specification of equal (and drop subset), like in FMap