Remove wrinkle 2 (and revise wrinkle 3) of Note [Preserve the order of type variables during singling]
#352
Job | Run time |
---|---|
10m 43s | |
2m 34s | |
2m 29s | |
2m 5s | |
1m 47s | |
1m 49s | |
1m 46s | |
1m 49s | |
1m 49s | |
1m 54s | |
1m 46s | |
2m 9s | |
32m 40s |