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