From 9cf2fd5960c0bf5085f9608d25fcd0d3854a7268 Mon Sep 17 00:00:00 2001
From: wi11-holdsworth <83637728+wi11-holdsworth@users.noreply.github.com>
Date: Tue, 7 Oct 2025 19:35:06 +1100
Subject: [PATCH] refactor: remove unneeded bound on allChords, already bound
 via <

---
 Proj2.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Proj2.hs b/Proj2.hs
index 31a5ad5..89ea132 100644
--- a/Proj2.hs
+++ b/Proj2.hs
@@ -229,7 +229,7 @@ allChords =
       p2 <- allPitches,
       p3 <- allPitches,
       let chord = [p1, p2, p3],
-      length (nub chord) == 3,
+      length chord == 3,
       p1 < p2,
       p2 < p3
   ]