Make Some
accept forall k. instead of Type kind
#4026
Job | Run time |
---|---|
10s | |
10s |
Some
accept forall k. instead of Type kind
#4026
Job | Run time |
---|---|
10s | |
10s |