haskell - HSpec と QuickCheck を使用して Data.Monoid プロパティを確認する

Question

HSpec と QuickCheck を使用して、モノイド (結合性と同一性要素) のプロパティを検証しようとしています。特定のインスタンスを検証するつもりですが、ほとんどのコードはポリモーフィックに保ちたいと考えています。これは私が数時間後に思いついたものです：

module Test where

import Test.Hspec
import Test.QuickCheck
import Data.Monoid

instance (Arbitrary a) => Arbitrary (Sum a) where
    arbitrary = fmap Sum arbitrary

instance (Arbitrary a) => Arbitrary (Product a) where
    arbitrary = fmap Product arbitrary

prop_Monoid_mappend_mempty_x x = mappend mempty x === x

sumMonoidSpec = it "mappend mempty x = x" $ property (prop_Monoid_mappend_mempty_x :: Sum Int -> Property)
productMonoidSpec = it "mappend mempty x = x" $ property (prop_Monoid_mappend_mempty_x :: Product Double -> Property)

main :: IO ()
main = hspec $ do
    describe "Data.Monoid.Sum" $ do
        sumMonoidSpec
    describe "Data.Monoid.Product" $ do
        productMonoidSpec

私が持ちたいのはポリモーフィックです

monoidSpec = it "mappend mempty x = x" $ property prop_Monoid_mappend_mempty_x

実際の Monoid インスタンス (Sum、Product) とタイプ (Int、Double) を後で指定します。問題は、型チェックを行わないことです。私は得続けます

src/Test.hs@18:42-18:50 No instance for (Arbitrary a0) arising from a use of property
The type variable a0 is ambiguous
Note: there are several potential instances:
  instance Arbitrary a => Arbitrary (Product a)
    -- Defined at /home/app/isolation-runner-work/projects/68426/session.207/src/src/Test.hs:10:10
  instance Arbitrary a => Arbitrary (Sum a)
    -- Defined at /home/app/isolation-runner-work/projects/68426/session.207/src/src/Test.hs:7:10
  instance Arbitrary () -- Defined in Test.QuickCheck.Arbitrary
  ...plus 27 others …
src/Test.hs@18:51-18:79 No instance for (Monoid a0)
  arising from a use of prop_Monoid_mappend_mempty_x
The type variable a0 is ambiguous
Note: there are several potential instances:
  instance Monoid () -- Defined in Data.Monoid
  instance (Monoid a, Monoid b) => Monoid (a, b)
    -- Defined in Data.Monoid
  instance (Monoid a, Monoid b, Monoid c) => Monoid (a, b, c)
    -- Defined in Data.Monoid
  ...plus 18 others …

ポリモーフィック バージョンのモノイドを Arbitrary、Eq、および Show に制約する必要があることはわかっていますが、その方法がわかりません。

問題は、モノイドの仕様をポリモーフィックな方法で表現し、コードの重複を回避する方法です。