quickspec-0.9.6: Equational laws for free!

Index - $

$$Test.QuickSpec.Reasoning.CongruenceClosure