kill NOTE
remove unnecessary Ordering and Monoid constraint on V in SketchMap1