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