function composition

• Understanding contravariance
• Lesson 3: Laws and orders