Resolving dependencies... Configuring base-orphans-0.5.4... Configuring semigroups-0.18.2... Building base-orphans-0.5.4... Building semigroups-0.18.2... Installed base-orphans-0.5.4 Configuring stm-2.4.4.1... Building stm-2.4.4.1... Configuring transformers-compat-0.5.1.4... Installed semigroups-0.18.2 Building transformers-compat-0.5.1.4... Configuring text-1.2.2.1... Installed transformers-compat-0.5.1.4 Building text-1.2.2.1... Configuring tagged-0.8.5... Installed stm-2.4.4.1 Building tagged-0.8.5... Configuring StateVar-1.1.0.4... Installed tagged-0.8.5 Building StateVar-1.1.0.4... Configuring distributive-0.5.0.2... Installed StateVar-1.1.0.4 Building distributive-0.5.0.2... Installed distributive-0.5.0.2 Installed text-1.2.2.1 Configuring hashable-1.2.4.0... Building hashable-1.2.4.0... Installed hashable-1.2.4.0 Configuring void-0.7.1... Building void-0.7.1... Installed void-0.7.1 Configuring contravariant-1.4... Building contravariant-1.4... Installed contravariant-1.4 Configuring comonad-5... Building comonad-5... Installed comonad-5 Configuring bifunctors-5.4.1... Building bifunctors-5.4.1... Installed bifunctors-5.4.1 Configuring profunctors-5.2... Building profunctors-5.2... Installed profunctors-5.2 Configuring product-profunctors-0.7.0.2... Building product-profunctors-0.7.0.2... Failed to install product-profunctors-0.7.0.2 Build log ( /home/builder/.cabal/logs/product-profunctors-0.7.0.2.log ): cabal: Entering directory '/tmp/cabal-tmp-24157/product-profunctors-0.7.0.2' Configuring product-profunctors-0.7.0.2... Building product-profunctors-0.7.0.2... Preprocessing library product-profunctors-0.7.0.2... [1 of 7] Compiling Data.Profunctor.Product.Tuples ( Data/Profunctor/Product/Tuples.hs, dist/build/Data/Profunctor/Product/Tuples.o ) [2 of 7] Compiling Data.Profunctor.Product.Newtype ( Data/Profunctor/Product/Newtype.hs, dist/build/Data/Profunctor/Product/Newtype.o ) [3 of 7] Compiling Data.Profunctor.Product.Flatten ( Data/Profunctor/Product/Flatten.hs, dist/build/Data/Profunctor/Product/Flatten.o ) [4 of 7] Compiling Data.Profunctor.Product ( Data/Profunctor/Product.hs, dist/build/Data/Profunctor/Product.o ) [5 of 7] Compiling Data.Profunctor.Product.Default ( Data/Profunctor/Product/Default.hs, dist/build/Data/Profunctor/Product/Default.o ) [6 of 7] Compiling Data.Profunctor.Product.Internal.TH ( Data/Profunctor/Product/Internal/TH.hs, dist/build/Data/Profunctor/Product/Internal/TH.o ) Data/Profunctor/Product/Internal/TH.hs:62:3: error: • Couldn't match type ‘[Dec] -> Dec’ with ‘Dec’ Expected type: Q [Dec] Actual type: Q [[Dec] -> Dec] • In a stmt of a 'do' block: return [InstanceD [] (ConT ''N.Newtype `AppT` ConT tyName) body] In the expression: do { x <- newName "x"; let body = ...; return [InstanceD [] (ConT ''N.Newtype `AppT` ConT tyName) body] } In an equation for ‘newtypeInstance’: newtypeInstance conName tyName = do { x <- newName "x"; let body = ...; return [InstanceD ... (ConT ... `AppT` ConT tyName) body] } Data/Profunctor/Product/Internal/TH.hs:62:21: error: • Couldn't match expected type ‘Maybe Language.Haskell.TH.Syntax.Overlap’ with actual type ‘[t0]’ • In the first argument of ‘InstanceD’, namely ‘[]’ In the expression: InstanceD [] (ConT ''N.Newtype `AppT` ConT tyName) body In the first argument of ‘return’, namely ‘[InstanceD [] (ConT ''N.Newtype `AppT` ConT tyName) body]’ Data/Profunctor/Product/Internal/TH.hs:62:25: error: • Couldn't match type ‘Type’ with ‘[Language.Haskell.TH.Syntax.Pred]’ Expected type: Language.Haskell.TH.Syntax.Cxt Actual type: Type • In the second argument of ‘InstanceD’, namely ‘(ConT ''N.Newtype `AppT` ConT tyName)’ In the expression: InstanceD [] (ConT ''N.Newtype `AppT` ConT tyName) body In the first argument of ‘return’, namely ‘[InstanceD [] (ConT ''N.Newtype `AppT` ConT tyName) body]’ Data/Profunctor/Product/Internal/TH.hs:62:62: error: • Couldn't match expected type ‘Type’ with actual type ‘[Dec]’ • In the third argument of ‘InstanceD’, namely ‘body’ In the expression: InstanceD [] (ConT ''N.Newtype `AppT` ConT tyName) body In the first argument of ‘return’, namely ‘[InstanceD [] (ConT ''N.Newtype `AppT` ConT tyName) body]’ Data/Profunctor/Product/Internal/TH.hs:65:29: error: • The constructor ‘DataD’ should have 6 arguments, but has been given 5 • In the pattern: DataD _cxt tyName tyVars constructors _deriving In the pattern: TyConI (DataD _cxt tyName tyVars constructors _deriving) In an equation for ‘dataDecStuffOfInfo’: dataDecStuffOfInfo (TyConI (DataD _cxt tyName tyVars constructors _deriving)) = do { (conName, conTys) <- extractConstructorStuff constructors; let tyVars' = ...; return (tyName, tyVars', conName, conTys) } Data/Profunctor/Product/Internal/TH.hs:105:70: error: • Couldn't match type ‘[Dec] -> Dec’ with ‘Dec’ Expected type: Q Dec Actual type: Q ([Dec] -> Dec) • In the expression: instanceDec In an equation for ‘instanceDefinition’: instanceDefinition tyName' numTyVars numConVars adaptorName' conName = instanceDec where instanceDec = fmap (\ i -> InstanceD i instanceType [...]) instanceCxt instanceCxt = mapM (uncurry classP) (pClass : defClasses) pClass :: Monad m => (Name, [m Type]) pClass = (''ProductProfunctor, [return (varTS "p")]) .... Data/Profunctor/Product/Internal/TH.hs:106:47: error: • Couldn't match type ‘Type’ with ‘[Language.Haskell.TH.Syntax.Pred]’ Expected type: Language.Haskell.TH.Syntax.Cxt Actual type: Type • In the second argument of ‘InstanceD’, namely ‘instanceType’ In the expression: InstanceD i instanceType [defDefinition] In the first argument of ‘fmap’, namely ‘(\ i -> InstanceD i instanceType [defDefinition])’ Data/Profunctor/Product/Internal/TH.hs:106:60: error: • Couldn't match expected type ‘Type’ with actual type ‘[Dec]’ • In the third argument of ‘InstanceD’, namely ‘[defDefinition]’ In the expression: InstanceD i instanceType [defDefinition] In the first argument of ‘fmap’, namely ‘(\ i -> InstanceD i instanceType [defDefinition])’ Data/Profunctor/Product/Internal/TH.hs:107:23: error: • Couldn't match type ‘[Language.Haskell.TH.Syntax.Pred]’ with ‘Maybe Language.Haskell.TH.Syntax.Overlap’ Expected type: Q (Maybe Language.Haskell.TH.Syntax.Overlap) Actual type: Q [Language.Haskell.TH.Syntax.Pred] • In the second argument of ‘fmap’, namely ‘instanceCxt’ In the expression: fmap (\ i -> InstanceD i instanceType [defDefinition]) instanceCxt In an equation for ‘instanceDec’: instanceDec = fmap (\ i -> InstanceD i instanceType [defDefinition]) instanceCxt cabal: Leaving directory '/tmp/cabal-tmp-24157/product-profunctors-0.7.0.2' cabal: Error: some packages failed to install: product-profunctors-0.7.0.2 failed during the building phase. The exception was: ExitFailure 1