Flag to introduce pedantic invariant checks? about containers HOT 2 OPEN

one wrinkle I found is the Data.Map.Internal.Debug.ordered requires the Ord constraint added to functions which don't have them, and this also breaks e.g. binary https://github.com/kolmodin/binary/blob/master/src/Data/Binary/Class.hs#L658-L660

from containers.

@jberryman good point. For the public API alone, I suspect we could get away with introducing a wrapper datatype that captures the Ord dictionary in the data constructor. But it wouldn't work for the internal API, where you can't get away from the fact that the constructors of Map are exposed and don't have Ord dictionaries available. Maybe with some pattern synonyms one could get away with changing the internal API just a little, but it does seem tricky.

from containers.