Resolving dependencies... Configuring mtl-2.2.1... Configuring syb-0.6... Building mtl-2.2.1... Building syb-0.6... Installed syb-0.6 Installed mtl-2.2.1 Downloading singletons-0.8.2... Configuring singletons-0.8.2... Building singletons-0.8.2... Failed to install singletons-0.8.2 Build log ( /home/builder/.cabal/logs/singletons-0.8.2.log ): cabal: Entering directory '/tmp/cabal-tmp-4720/singletons-0.8.2' Configuring singletons-0.8.2... Building singletons-0.8.2... Preprocessing library singletons-0.8.2... [1 of 6] Compiling Data.Singletons.Util ( Data/Singletons/Util.hs, dist/build/Data/Singletons/Util.o ) Data/Singletons/Util.hs:55:35: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In a case alternative: Patterns not matched: (GadtC _ _ _) (RecGadtC _ _ _) [2 of 6] Compiling Data.Singletons.Promote ( Data/Singletons/Promote.hs, dist/build/Data/Singletons/Promote.o ) Data/Singletons/Promote.hs:143:29: error: Not in scope: data constructor ‘FamilyD’ Perhaps you meant ‘FamilyI’ (imported from Language.Haskell.TH) Data/Singletons/Promote.hs:265:18: error: Not in scope: data constructor ‘FamilyD’ Perhaps you meant ‘FamilyI’ (imported from Language.Haskell.TH) cabal: Leaving directory '/tmp/cabal-tmp-4720/singletons-0.8.2' cabal: Error: some packages failed to install: singletons-0.8.2 failed during the building phase. The exception was: ExitFailure 1