lifting

• Understanding contravariance
• Functortown, lesson 2: More common functors
• Functortown, lesson 1: Introduction to mapping
• Functortown, lesson 3: Laws and orders