purescript-contrib /purescript-quickcheck-lawsPureScript2718QuickCheck powered law tests for PureScript's core typeclasses.