Resolving dependencies... Starting parser-combinators-1.3.0 Starting hashable-1.3.2.0 Starting primitive-0.7.2.0 Starting integer-logarithms-1.0.3.1 Building hashable-1.3.2.0 Building parser-combinators-1.3.0 Building integer-logarithms-1.0.3.1 Building primitive-0.7.2.0 Completed integer-logarithms-1.0.3.1 Completed parser-combinators-1.3.0 Completed hashable-1.3.2.0 Starting case-insensitive-1.2.1.0 Building case-insensitive-1.2.1.0 Completed case-insensitive-1.2.1.0 Completed primitive-0.7.2.0 Starting scientific-0.3.7.0 Building scientific-0.3.7.0 Completed scientific-0.3.7.0 Starting megaparsec-9.0.1 Building megaparsec-9.0.1 Completed megaparsec-9.0.1 Starting lambda-cube-0.1.0.0 Building lambda-cube-0.1.0.0 Failed to install lambda-cube-0.1.0.0 Build log ( /home/builder/.cabal/logs/ghc-8.10.2/lambda-cube-0.1.0.0-3uUGyQ3zKCkEwB6rZvdikW.log ): cabal: Entering directory '/tmp/cabal-tmp-2076/lambda-cube-0.1.0.0' Configuring lambda-cube-0.1.0.0... Preprocessing library for lambda-cube-0.1.0.0.. Building library for lambda-cube-0.1.0.0.. [ 1 of 35] Compiling LambdaCube.Common.Parser ( src/LambdaCube/Common/Parser.hs, dist/build/LambdaCube/Common/Parser.o, dist/build/LambdaCube/Common/Parser.dyn_o ) [ 2 of 35] Compiling LambdaCube.Common.PrettyPrinter ( src/LambdaCube/Common/PrettyPrinter.hs, dist/build/LambdaCube/Common/PrettyPrinter.o, dist/build/LambdaCube/Common/PrettyPrinter.dyn_o ) [ 3 of 35] Compiling LambdaCube.STLC.Ast ( src/LambdaCube/STLC/Ast.hs, dist/build/LambdaCube/STLC/Ast.o, dist/build/LambdaCube/STLC/Ast.dyn_o ) src/LambdaCube/STLC/Ast.hs:10:29: error: " No instance for (Lift Text) arising from the first field of ExtLCVar (type Text) Possible fix: use a standalone 'deriving instance' declaration, so you can specify the instance context yourself " When deriving the instance for (Lift ExtLCTerm) | 10 | deriving stock (Eq, Show, Lift) | ^^^^ cabal: Leaving directory '/tmp/cabal-tmp-2076/lambda-cube-0.1.0.0' cabal: Error: some packages failed to install: lambda-cube-0.1.0.0-3uUGyQ3zKCkEwB6rZvdikW failed during the building phase. The exception was: ExitFailure 1