handleManyBinds

bindRec

hashCode

ScalazLaw

homomorphism

applicative