homomorphism

ApplicativeLaw