diff --git a/src/Data/Syntax/Declaration.hs b/src/Data/Syntax/Declaration.hs
index 9f28357de..081ac4962 100644
--- a/src/Data/Syntax/Declaration.hs
+++ b/src/Data/Syntax/Declaration.hs
@@ -328,6 +328,7 @@ instance ( Monad m
 instance MonadFail m => Eval t Type.Type m Import
 
 instance (MonadFail m) => E2.Eval t v m Import
+instance Member Fail es => E3.Evaluatable es t v Import
 
 -- | An imported symbol
 data ImportSymbol a = ImportSymbol { importSymbolName :: !a, importSymbolAlias :: !a }