From 2180af71ad113e1a5095c3c4a2120b7b66b138d4 Mon Sep 17 00:00:00 2001
From: George Thomas <georgefsthomas@gmail.com>
Date: Sun, 4 Jan 2026 02:40:52 +0000
Subject: [PATCH] Reformat

---
 haskell/Pre.hs | 2 --
 1 file changed, 2 deletions(-)

diff --git a/haskell/Pre.hs b/haskell/Pre.hs
index e9969b1..bbbf6c5 100644
--- a/haskell/Pre.hs
+++ b/haskell/Pre.hs
@@ -146,12 +146,10 @@ data HListF (f :: Type -> Type) (as :: List Type) :: Type where
         f a ->
         HListF f as ->
         HListF f (a ': as)
-
 foldHListF :: (forall x xs. f x -> r xs -> r (x ': xs)) -> r '[] -> HListF f as -> r as
 foldHListF f e = \case
     HNilF -> e
     HConsF x xs -> f x $ foldHListF f e xs
-
 mapHListF :: (forall a. f a -> g a) -> HListF f as -> HListF g as
 mapHListF t = foldHListF (\x r -> HConsF (t x) $ r) HNilF