Re[2]: Who needs Ord for Sets and Maps anyway?