From 80c99d3eb8cef4b14d06c5e38dec113125bcbfbf Mon Sep 17 00:00:00 2001
From: Edoardo La Greca
Date: Thu, 11 Sep 2025 16:16:33 +0200
Subject: change Sized module due to old age

---
 lec07/Sized.hs | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'lec07/Sized.hs')

diff --git a/lec07/Sized.hs b/lec07/Sized.hs
index 9214b76..762d8fb 100644
--- a/lec07/Sized.hs
+++ b/lec07/Sized.hs
@@ -23,6 +23,19 @@ instance Sized Size where
 instance Sized b => Sized (a,b) where
   size = size . snd
 
+-- Since (<>) has been moved from Monoid to Semigroup, this little change is required
+
+-- Old version
+{-
 instance Monoid Size where
   mempty  = Size 0
   mappend = (+)
+-}
+
+-- New version
+instance Monoid Size where
+  mempty = Size 0
+
+instance Semigroup Size where
+  (<>) = (+)
+
-- 
cgit v1.2.3