Prev
Next
Terminology
A quick note on terminology
Laws, type constructors, kinds and higher-order polymorphism.