composition law

• Applicative, lesson 9: The four laws of Applicative
• Functor and Bifunctor, lesson 4: Breaking the laws!