Make X[()] count as a type application
#10404
| Job | Run time |
|---|---|
| 14m 1s | |
| 16m 56s | |
| 15m 0s | |
| 19m 15s | |
| 14m 5s | |
| 13m 53s | |
| 1s | |
| 1h 33m 11s |
X[()] count as a type application
#10404
| Job | Run time |
|---|---|
| 14m 1s | |
| 16m 56s | |
| 15m 0s | |
| 19m 15s | |
| 14m 5s | |
| 13m 53s | |
| 1s | |
| 1h 33m 11s |