Comment on newtype MyCompose

Bodigrim · Oct 15, 2023 · 3cd64a2 · 3cd64a2
1 parent 2bc59e5
commit 3cd64a2
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/test-suite/Math/NumberTheory/TestUtils/MyCompose.hs b/test-suite/Math/NumberTheory/TestUtils/MyCompose.hs
@@ -23,6 +23,8 @@ import GHC.Generics (Generic)
 import Test.QuickCheck (Arbitrary)
 import Test.SmallCheck.Series (Serial)
 
+-- | As of @base-4.19@ Data.Functor.Compose has every instance we need,
+-- except for instance Arbitrary, which overzealously requires Arbitrary1.
 newtype MyCompose f g a = MyCompose { getMyCompose :: f (g a) }
   deriving (Eq, Ord, Show, Functor, Num, Enum, Bounded, Real, Integral, Arbitrary, Generic)