function composition

• Understanding contravariance
• Functortown, lesson 3: Laws and orders