dropWhileAntitone p = fromDistinctAscList . dropWhile (p . fst) . toList dropWhileAntitone p = filterWithKey (\k _ -> not (p k))
dropWhileAntitone p = fromDistinctAscList . dropWhile p . toList dropWhileAntitone p = filter (not . p)