Use functional dependencies rather than type families to enable SPECIALISE #3059
Job | Run time |
---|---|
2m 48s | |
2m 52s | |
13m 27s | |
17s | |
20m 27s | |
3m 20s | |
12m 5s | |
15m 13s | |
8m 37s | |
12m 53s | |
17m 24s | |
9m 19s | |
13m 7s | |
14m 52s | |
10m 20s | |
12m 20s | |
15m 41s | |
9m 43s | |
11m 5s | |
15m 54s | |
11m 26s | |
13m 47s | |
14m 54s | |
10m 44s | |
22m 41s | |
13m 26s | |
10m 0s | |
5h 18m 42s |