homomorphism law

• Lesson 9: The four laws of Applicative