quantifyType' is non-deterministic

[niteria]

This is copied from stevenfontanella/microlens#83 (comment) as the code originated in lens.

Note: I'm doing creating this issue to raise awareness and to determine if this is something that could be fixed on the lens side.

Background: For various reasons it's desirable to have GHC produce ABI-compatible binaries given the same input, flags and the environment.
Now, TemplateHaskell gives no guarantees about this, you could generate different code depending on the phase of the moon.
As it turns out quantifyType' is unintentionally nondeterministic. There's no code that accesses the environment nor does some suspect thing and yet, it will not always produce the same code in the same conditions.

The core of the issue is that GHC exposes a bit more about the internals than it should. Its Name type holds a Unique. For various reasons Uniques are not stable across recompilations. As it happens the Ord instance for Name is based on Unique meaning that the relative order Names might change between compilations.

As it happens quantifyType' holds a Set/Map of these names that later determines the order of type variables in the generated definition.

There are multiple valid stances to take here:

1. TH is nondeterministic anyway, so why bother fixing this
2. This is bad and should be fixed on GHC side
3. This is bad, but GHC shouldn't bother fixing it, it's up to the library to ensure the determinism

Now I'm leaning towards 2., but the problem with that approach is that the soonest this can get fixed is for GHC 8.2, which is probably a year away.

Related discussions:
https://mail.haskell.org/pipermail/ghc-devs/2016-May/012163.html
https://mail.haskell.org/pipermail/ghc-devs/2016-June/012181.html

[neongreen]

You weren't fast enough, it already got fixed. (Well, probably. You should check.)

[niteria]

It looks OK, I'm not that familiar with that code, so I will trust you that this is the only place where Set Name and Map Name a get turned into lists.
Thanks for the quick fix!