[ refactor ] use variables more systematically in Data.List.Fresh{.*}
#2639
| Job | Run time |
|---|---|
| 2m 28s | |
| 2m 5s | |
| 2m 53s | |
| 2m 9s | |
| 1m 42s | |
| 2m 17s | |
| 1m 49s | |
| 1m 49s | |
| 1m 42s | |
| 1m 44s | |
| 20m 38s |