Lift the #-shaped length foreigns to a unary length primop
#461
| Job | Run time |
|---|---|
| 33s | |
| 10m 10s | |
| 10m 43s |
#-shaped length foreigns to a unary length primop
#461
| Job | Run time |
|---|---|
| 33s | |
| 10m 10s | |
| 10m 43s |