Specify axioms for type classes and quickCheck all available instances
Why do you think that https://github.com/hedgehogqa/haskell-hedgehog-classes is a good alternative to axiomatic-classes
Specify axioms for type classes and quickCheck all available instances
Why do you think that https://github.com/hedgehogqa/haskell-hedgehog-classes is a good alternative to axiomatic-classes