diff --git a/semantic-analysis/src/Control/Carrier/Fail/WithLoc.hs b/semantic-analysis/src/Control/Carrier/Fail/WithLoc.hs
index 8b918ca7d..6abce03f4 100644
--- a/semantic-analysis/src/Control/Carrier/Fail/WithLoc.hs
+++ b/semantic-analysis/src/Control/Carrier/Fail/WithLoc.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE ConstraintKinds, FlexibleInstances, GeneralizedNewtypeDeriving, MultiParamTypeClasses, TypeOperators, UndecidableInstances #-}
+{-# LANGUAGE FlexibleInstances, GeneralizedNewtypeDeriving, MultiParamTypeClasses, TypeOperators, UndecidableInstances #-}
 module Control.Carrier.Fail.WithLoc
 ( -- * Fail effect
   module Control.Effect.Fail