From 4ce648a9eeeda9167ee57c2185911e81d45883b6 Mon Sep 17 00:00:00 2001 From: tv Date: Sun, 9 Jan 2022 22:41:19 +0100 Subject: Blessings: simplify <> --- src/Blessings.hs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'src') diff --git a/src/Blessings.hs b/src/Blessings.hs index 450daa3..344fac2 100644 --- a/src/Blessings.hs +++ b/src/Blessings.hs @@ -47,8 +47,7 @@ instance Functor Blessings where instance Semigroup (Blessings a) where t <> Empty = t Empty <> t = t - Append t1 t2 <> Append t3 t4 = t1 <> t2 <> t3 <> t4 - Append t1 t2 <> t3 = t1 <> t2 <> t3 + Append t1 t2 <> t3 = Append t1 (t2 <> t3) t1 <> t2 = Append t1 t2 -- cgit v1.2.3