ClassLaws-0.3.1.0: Stating and checking laws for type class methods