diff --git a/shared/src/Unison/Typechecker.hs b/shared/src/Unison/Typechecker.hs
index ae9fe7efe..6861fe4cd 100644
--- a/shared/src/Unison/Typechecker.hs
+++ b/shared/src/Unison/Typechecker.hs
@@ -4,6 +4,7 @@
 -- | This module is the primary interface to the Unison typechecker
 module Unison.Typechecker (admissibleTypeAt, check, check', equals, isSubtype, locals, subtype, synthesize, synthesize', typeAt, wellTyped) where
 
+import Control.Applicative
 import Control.Monad
 import Unison.Type (Type)
 import Unison.Term (Term)
diff --git a/shared/src/Unison/Typechecker/Context.hs b/shared/src/Unison/Typechecker/Context.hs
index 990ca493c..ce3c9d1db 100644
--- a/shared/src/Unison/Typechecker/Context.hs
+++ b/shared/src/Unison/Typechecker/Context.hs
@@ -9,6 +9,7 @@
 module Unison.Typechecker.Context (context, subtype, synthesizeClosed) where
 
 import Control.Monad
+import Control.Applicative
 import Data.List
 import Data.Set (Set)
 import Unison.Note (Note,Noted(..))