From 8442ce8dba25493b6e63c4fc871960d317eda110 Mon Sep 17 00:00:00 2001
From: George Thomas <georgefsthomas@gmail.com>
Date: Thu, 1 Jan 2026 13:24:49 +0000
Subject: [PATCH] Generalise test monoid instance

---
 haskell/Pre.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/haskell/Pre.hs b/haskell/Pre.hs
index 3ce4dd9..567dbbd 100644
--- a/haskell/Pre.hs
+++ b/haskell/Pre.hs
@@ -152,7 +152,7 @@ applyPuzzleParts e = \case
     PuzzlePartsNil -> (HNil, [])
     PuzzlePartsCons f o ps -> let r = f e in bimap (HCons r) (o r :) $ applyPuzzleParts e ps
 
-instance Semigroup (TestDefM '[] () ()) where
+instance Semigroup (TestDefM a b ()) where
     (<>) = (>>)
-instance Monoid (TestDefM '[] () ()) where
+instance Monoid (TestDefM a b ()) where
     mempty = pure ()