diff --git a/src/Swarm/Language/Syntax.hs b/src/Swarm/Language/Syntax.hs
index 70ee835a7..2ec4d222f 100644
--- a/src/Swarm/Language/Syntax.hs
+++ b/src/Swarm/Language/Syntax.hs
@@ -49,7 +49,7 @@ module Swarm.Language.Syntax (
 
   -- * Syntax
   Syntax (..),
-  LocVar(..),
+  LocVar (..),
   SrcLoc (..),
   noLoc,
   pattern STerm,
@@ -872,7 +872,7 @@ data DelayType
 -- | A variable with associated source location, used for variable
 --   binding sites. (Variable occurrences are a bare TVar which gets
 --   wrapped in a Syntax node, so we don't need LocVar for those.)
-data LocVar = LV { lvSrcLoc :: SrcLoc, lvVar :: Var }
+data LocVar = LV {lvSrcLoc :: SrcLoc, lvVar :: Var}
   deriving (Eq, Show, Data, Generic, FromJSON, ToJSON)
 
 -- | Terms of the Swarm language.
diff --git a/src/Swarm/Language/Typecheck.hs b/src/Swarm/Language/Typecheck.hs
index a1f0182c9..ee3139954 100644
--- a/src/Swarm/Language/Typecheck.hs
+++ b/src/Swarm/Language/Typecheck.hs
@@ -2,6 +2,7 @@
 {-# LANGUAGE QuasiQuotes #-}
 {-# LANGUAGE ViewPatterns #-}
 {-# OPTIONS_GHC -fno-warn-orphans #-}
+
 -- For 'Ord IntVar' instance
 
 -- |