Xia Li-yao

The current status is that, using newer the random 1.2 package, there is a subtle difference, from a lack of inlining, in the generated Core between what generic-random gives you...

The problem is that `GHC.Classes.compare` got replaced with `Ord__F_compare`, so the Coq code doesn't even typecheck.

Maybe a compromise is to add this to `Data.Text.Unsafe`, and in the interest of promoting total functions, only the `Maybe` version(s). Although technically total, it still breaks the level of...

> Furthermore, Text is fundamentally not a sequence of Char, as it is a sequence of unicode scalar values. I don't see the point in simplifying Text to a sequence...

Yes, such an option seems useful, and quite easy to add!

Is renaming to `ExtrOcamlInt63` also an option? The breakage for renaming other, released modules seems unnecessary though I won't really fight against it. Would stdlib2 be a good opportunity to...

> What about naming the compatibility module “ExtrOсamlInt63”? (just kidding). I actually don't see a problem with that besides aesthetic, which I think the current casing inconsistency degrades even more.

I really think renaming `ExtrOCamlInt63` to `ExtrOcamlInt63` is the right thing to do, because people have been confused by much more obvious inconsistencies than that. A decision either way needs...

Sure, adding a more involved example in the documentation would be nice! I'm just not sure what a good example would be. My use case was `generic-data-surgery`, which lets users...

`TernaryTrie` uses a balancing factor of 6, but according to the following paper which seems the gold standard on the topic, the only valid integer factors are 3 and 4....