From d0eb9a1edfb4233d557d954f46685f25382234d8 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Tue, 29 Apr 2025 20:37:06 +0200
Subject: Reorder TLEither to after TEither

---
 src/CHAD/Top.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/CHAD/Top.hs')

diff --git a/src/CHAD/Top.hs b/src/CHAD/Top.hs
index 9e7e7f5..261ddfe 100644
--- a/src/CHAD/Top.hs
+++ b/src/CHAD/Top.hs
@@ -49,11 +49,11 @@ d1Identity = \case
   STNil -> Refl
   STPair a b | Refl <- d1Identity a, Refl <- d1Identity b -> Refl
   STEither a b | Refl <- d1Identity a, Refl <- d1Identity b -> Refl
+  STLEither a b | Refl <- d1Identity a, Refl <- d1Identity b -> Refl
   STMaybe t | Refl <- d1Identity t -> Refl
   STArr _ t | Refl <- d1Identity t -> Refl
   STScal _ -> Refl
   STAccum{} -> error "Accumulators not allowed in input program"
-  STLEither a b | Refl <- d1Identity a, Refl <- d1Identity b -> Refl
 
 d1eIdentity :: SList STy env -> D1E env :~: env
 d1eIdentity SNil = Refl
-- 
cgit v1.2.3-70-g09d2