Generalize the construction of NonEmpty
types.
#188
Job | Run time |
---|---|
13s | |
28s | |
48s | |
47s | |
41s | |
41s | |
46s | |
49s | |
58s | |
56s | |
2m 10s | |
2m 20s | |
2m 43s | |
2m 21s | |
16m 41s |
NonEmpty
types.
#188
Job | Run time |
---|---|
13s | |
28s | |
48s | |
47s | |
41s | |
41s | |
46s | |
49s | |
58s | |
56s | |
2m 10s | |
2m 20s | |
2m 43s | |
2m 21s | |
16m 41s |