From fff6beda3523abce3d27037ea2fb020fce31f502 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Fri, 14 Mar 2025 23:29:51 +0100
Subject: Much process with accumulator revamp

---
 src/CHAD/Types.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

diff --git a/src/CHAD/Types.hs b/src/CHAD/Types.hs
index a8614cf..e8ec0c9 100644
--- a/src/CHAD/Types.hs
+++ b/src/CHAD/Types.hs
@@ -40,7 +40,7 @@ type family D2E env where
 
 type family D2AcE env where
   D2AcE '[] = '[]
-  D2AcE (t : env) = TAccum (D2 t) : D2AcE env
+  D2AcE (t : env) = TAccum t : D2AcE env
 
 d1 :: STy t -> STy (D1 t)
 d1 STNil = STNil
@@ -75,7 +75,7 @@ d2e (t `SCons` ts) = d2 t `SCons` d2e ts
 
 d2ace :: SList STy env -> SList STy (D2AcE env)
 d2ace SNil = SNil
-d2ace (t `SCons` ts) = STAccum (d2 t) `SCons` d2ace ts
+d2ace (t `SCons` ts) = STAccum t `SCons` d2ace ts
 
 
 data CHADConfig = CHADConfig
-- 
cgit v1.2.3-70-g09d2