hashCode

ScalazLaw

homomorphism

applicative