Use quantified superclass of Eq1/Ord1 to derive instance when available #57
Job | Run time |
---|---|
2m 5s | |
2m 17s | |
2m 8s | |
1m 51s | |
1m 57s | |
1m 38s | |
1m 37s | |
1m 40s | |
1m 43s | |
16m 56s |
Job | Run time |
---|---|
2m 5s | |
2m 17s | |
2m 8s | |
1m 51s | |
1m 57s | |
1m 38s | |
1m 37s | |
1m 40s | |
1m 43s | |
16m 56s |