convert the yuge union into a relatively nice supertype match #564
| Job | Run time |
|---|---|
| 2m 30s | |
| 2m 55s | |
| 2m 55s | |
| 4m 30s | |
| 4m 30s | |
| 4m 30s | |
| 3m 33s | |
| 3m 48s | |
| 4m 5s | |
| 3m 41s | |
| 3m 41s | |
| 3m 41s | |
| 4m 50s | |
| 4m 50s | |
| 4m 50s | |
| 5m 17s | |
| 5m 17s | |
| 5m 17s | |
| 4m 24s | |
| 4m 24s | |
| 4m 24s | |
| 6m 44s | |
| 6m 44s | |
| 6m 44s | |
| 6m 12s | |
| 6m 12s | |
| 6m 12s | |
| 2h 6m 40s |