From 4ad7eaba73d5fda8ff5028d1e53966f728d704d3 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Tue, 29 Apr 2025 17:52:43 +0200
Subject: simplify: Better simplify nested monoid ops

---
 src/AST/Types.hs | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/AST/Types.hs')

diff --git a/src/AST/Types.hs b/src/AST/Types.hs
index c8515fc..efb1e04 100644
--- a/src/AST/Types.hs
+++ b/src/AST/Types.hs
@@ -73,7 +73,6 @@ type SMTy :: Ty -> Type
 data SMTy t where
   SMTNil :: SMTy TNil
   SMTPair :: SMTy a -> SMTy b -> SMTy (TPair a b)
-  -- TODO: call this SMTLEither
   SMTLEither :: SMTy a -> SMTy b -> SMTy (TLEither a b)
   SMTMaybe :: SMTy a -> SMTy (TMaybe a)
   SMTArr :: SNat n -> SMTy t -> SMTy (TArr n t)
-- 
cgit v1.2.3-70-g09d2