Use size_of from the prelude instead of imported
#1402
| Job | Run time |
|---|---|
| 4m 6s | |
| 1s | |
| 4m 7s |
size_of from the prelude instead of imported
#1402
| Job | Run time |
|---|---|
| 4m 6s | |
| 1s | |
| 4m 7s |