adding FunctorLaws.