insertWith package:non-empty

insertWith :: Ord k => (a -> a -> a) -> k -> a -> Map k a -> T k a
non-empty Data.NonEmpty.Map
\k a -> forAllMap $ \m -> Map.insertWith (++) k a m == NonEmptyMap.flatten (NonEmptyMap.insertWith (++) k a m)