Document safety expectations, or the lack thereof

I noticed that the instances for `Map`, `Set`, `IntMap`, and `IntSet` are "unsafe" in the sense that they will happily build structures that don't obey the expected invariants if they are presented with improperly ordered input. Is this acceptable behavior (i.e., is `get` only supposed to be used with trusted input)? Or should the invocations of `fromDistinctAscList` be replaced with `fromList`?

Rà soát các instance Map, Set, IntMap và IntSet cũng như các lần gọi fromDistinctAscList được đề cập trong issue. Xác định liệu get có dành cho đầu vào đáng tin cậy hay không và ghi lại các yêu cầu về an toàn, hoặc xác định hành vi cần có nếu nên thay thế các constructor đó; để hoàn thành cần có một quyết định rõ ràng của dự án.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.