lifting

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