| ... | ... | @@ -32,7 +32,7 @@ Functions may have polymorphic arguments, subject to three restrictions: |
|
|
|
```
|
|
|
|
|
|
|
|
|
|
|
|
The more general [RankNTypes](rank-n-types) relax restrictions 2(1) and 3.
|
|
|
|
The more general [RankNTypes](RankNTypes) relax restrictions 2(1) and 3.
|
|
|
|
|
|
|
|
|
|
|
|
## References
|
| ... | ... | @@ -63,4 +63,4 @@ The more general [RankNTypes](rank-n-types) relax restrictions 2(1) and 3. |
|
|
|
|
|
|
|
|
|
|
|
- functions with rank-2 types are not first class
|
|
|
|
- can be awkward in comparison with [RankNTypes](rank-n-types) |
|
|
|
- can be awkward in comparison with [RankNTypes](RankNTypes) |
