diff --git a/.stylish-haskell.yaml b/.stylish-haskell.yaml
index 99ff94350..98702f987 100644
--- a/.stylish-haskell.yaml
+++ b/.stylish-haskell.yaml
@@ -218,16 +218,17 @@ newline: native
 # command line instead of using language pragmas in the file. stylish-haskell
 # needs to be aware of these, so it can parse the file correctly.
 language_extensions:
-  - ExplicitNamespaces
+  - DataKinds
   - DeriveFoldable
   - DeriveFunctor
   - DeriveGeneric
   - DeriveTraversable
+  - ExplicitNamespaces
   - FlexibleContexts
   - FlexibleInstances
   - MultiParamTypeClasses
-  - StandaloneDeriving
-  - DataKinds
   - OverloadedStrings
   - RecordWildCards
+  - StandaloneDeriving
   - StrictData
+  - TypeApplications
diff --git a/semantic.cabal b/semantic.cabal
index 81a620766..e2a8746e5 100644
--- a/semantic.cabal
+++ b/semantic.cabal
@@ -198,6 +198,7 @@ library
                      , RecordWildCards
                      , StandaloneDeriving
                      , StrictData
+                     , TypeApplications
   ghc-options:         -Wall -Wcompat -Wincomplete-record-updates -Wincomplete-uni-patterns -Wredundant-constraints -fno-warn-name-shadowing -O -j
   ghc-prof-options:    -fprof-auto
 
@@ -274,6 +275,7 @@ test-suite test
                      , OverloadedStrings
                      , RecordWildCards
                      , StandaloneDeriving
+                     , TypeApplications
 
 test-suite doctests
   type:                exitcode-stdio-1.0
diff --git a/src/Analysis/Abstract/Evaluating.hs b/src/Analysis/Abstract/Evaluating.hs
index b0ca91151..5d4f51792 100644
--- a/src/Analysis/Abstract/Evaluating.hs
+++ b/src/Analysis/Abstract/Evaluating.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE DataKinds, GeneralizedNewtypeDeriving, StandaloneDeriving, TypeFamilies, UndecidableInstances #-}
+{-# LANGUAGE GeneralizedNewtypeDeriving, TypeFamilies, UndecidableInstances #-}
 module Analysis.Abstract.Evaluating
 ( Evaluating
 , findValue
diff --git a/src/Data/Syntax/Literal.hs b/src/Data/Syntax/Literal.hs
index a437429ab..c8a0baeec 100644
--- a/src/Data/Syntax/Literal.hs
+++ b/src/Data/Syntax/Literal.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE DataKinds, DeriveAnyClass, DeriveGeneric, MultiParamTypeClasses, TypeApplications, ViewPatterns #-}
+{-# LANGUAGE DataKinds, DeriveAnyClass, DeriveGeneric, MultiParamTypeClasses, ViewPatterns #-}
 module Data.Syntax.Literal where
 
 import Control.Arrow ((>>>))
diff --git a/src/Semantic/Util.hs b/src/Semantic/Util.hs
index 3c7dc6f3b..27e968800 100644
--- a/src/Semantic/Util.hs
+++ b/src/Semantic/Util.hs
@@ -1,5 +1,5 @@
 -- MonoLocalBinds is to silence a warning about a simplifiable constraint.
-{-# LANGUAGE DataKinds, MonoLocalBinds, ScopedTypeVariables, TypeFamilies, TypeApplications, TypeOperators #-}
+{-# LANGUAGE DataKinds, MonoLocalBinds, ScopedTypeVariables, TypeFamilies, TypeOperators #-}
 {-# OPTIONS_GHC -Wno-missing-signatures #-}
 module Semantic.Util where
 
diff --git a/test/Analysis/Python/Spec.hs b/test/Analysis/Python/Spec.hs
index 229ee35a3..c5fec4f2c 100644
--- a/test/Analysis/Python/Spec.hs
+++ b/test/Analysis/Python/Spec.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE OverloadedLists, TypeApplications #-}
+{-# LANGUAGE OverloadedLists #-}
 module Analysis.Python.Spec (spec) where
 
 import Data.Abstract.Value
diff --git a/test/Analysis/TypeScript/Spec.hs b/test/Analysis/TypeScript/Spec.hs
index 4b59ecc5a..9620eaad4 100644
--- a/test/Analysis/TypeScript/Spec.hs
+++ b/test/Analysis/TypeScript/Spec.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE OverloadedLists, TypeApplications #-}
+{-# LANGUAGE OverloadedLists #-}
 module Analysis.TypeScript.Spec (spec) where
 
 import Data.Abstract.Value
diff --git a/test/Doctests.hs b/test/Doctests.hs
index b5108f932..847e646d8 100644
--- a/test/Doctests.hs
+++ b/test/Doctests.hs
@@ -24,4 +24,5 @@ extensions =
   , "RecordWildCards"
   , "StandaloneDeriving"
   , "StrictData"
+  , "TypeApplications"
   ]
diff --git a/test/SpecHelpers.hs b/test/SpecHelpers.hs
index 0f2350da0..10fa53f79 100644
--- a/test/SpecHelpers.hs
+++ b/test/SpecHelpers.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE GADTs, ScopedTypeVariables, TypeFamilies, TypeOperators, TypeApplications #-}
+{-# LANGUAGE GADTs, ScopedTypeVariables, TypeFamilies, TypeOperators #-}
 module SpecHelpers (
   module X
 , diffFilePaths