diff --git a/aoc2025/Day10.newt b/aoc2025/Day10.newt
index 2c462ae..90f72d7 100644
--- a/aoc2025/Day10.newt
+++ b/aoc2025/Day10.newt
@@ -8,10 +8,6 @@ import Data.Vect
 import Data.Fin
 import Z3
 
-instance ∀ a b. {{Show a}} → {{Show b}} → Show (Either a b) where
-  show (Left a) = "Left \{show a}"
-  show (Right b) = "Right \{show b}"
-
 record Machine where
   goal : Int
   buttons : List Int
diff --git a/aoc2025/Day7.newt b/aoc2025/Day7.newt
index 0b6c6dd..1b4666a 100644
--- a/aoc2025/Day7.newt
+++ b/aoc2025/Day7.newt
@@ -4,7 +4,6 @@ import Prelude
 import Node
 import Aoc
 import Data.SortedMap
-import Monad.State
 
 gridPoints : String → List (Char × Int × Int)
 gridPoints text = go 0 0 (unpack text) Nil
diff --git a/aoc2025/Monad b/aoc2025/Monad
new file mode 120000
index 0000000..44d116e
--- /dev/null
+++ b/aoc2025/Monad
@@ -0,0 +1 @@
+../src/Monad
\ No newline at end of file