Use quanified superclass of Eq1/Ord1 to derive instance when available #56
Job | Run time |
---|---|
2m 6s | |
2m 24s | |
1m 59s | |
2m 2s | |
1m 53s | |
1m 42s | |
1m 41s | |
1m 40s | |
1m 56s | |
17m 23s |
Job | Run time |
---|---|
2m 6s | |
2m 24s | |
1m 59s | |
2m 2s | |
1m 53s | |
1m 42s | |
1m 41s | |
1m 40s | |
1m 56s | |
17m 23s |