From cd135319f65f40a554d864b2a878a4ef44043a98 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Mon, 10 Nov 2025 22:31:56 +0100
Subject: hlint cleanup

---
 src/CHAD/ForwardAD/DualNumbers.hs | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'src/CHAD/ForwardAD/DualNumbers.hs')

diff --git a/src/CHAD/ForwardAD/DualNumbers.hs b/src/CHAD/ForwardAD/DualNumbers.hs
index a71efc8..540ec2b 100644
--- a/src/CHAD/ForwardAD/DualNumbers.hs
+++ b/src/CHAD/ForwardAD/DualNumbers.hs
@@ -1,11 +1,10 @@
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE EmptyCase #-}
 {-# LANGUAGE FlexibleContexts #-}
+{-# LANGUAGE GADTs #-}
 {-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE RankNTypes #-}
 {-# LANGUAGE ScopedTypeVariables #-}
-{-# LANGUAGE TypeApplications #-}
-{-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE TypeOperators #-}
 
 -- I want to bring various type variables in scope using type annotations in
@@ -157,7 +156,7 @@ dfwdDN = \case
   EFold1Inner _ cm a b c -> EFold1Inner ext cm (dfwdDN a) (dfwdDN b) (dfwdDN c)
   ESum1Inner _ e ->
     let STArr n (STScal t) = typeOf e
-        pairty = (STPair (STScal t) (STScal t))
+        pairty = STPair (STScal t) (STScal t)
     in scalTyCase t
          (ELet ext (dfwdDN e) $
             ezip (ESum1Inner ext (emap (EFst ext (EVar ext pairty IZ))
-- 
cgit v1.2.3-70-g09d2