Remove type error NotKFunc and make more use of unifyKind.
#690
| Job | Run time |
|---|---|
| 16m 0s | |
| 16m 0s |
NotKFunc and make more use of unifyKind.
#690
| Job | Run time |
|---|---|
| 16m 0s | |
| 16m 0s |