property test

• Functor and Bifunctor, lesson 7: Laws of the bifunctors
• Functor and Bifunctor, lesson 4: Breaking the laws!