Function equivalenceLaws

Test typeclass laws for Equivalence.