Resolving dependencies... Configuring monomorphic-0.0.3.3... Building monomorphic-0.0.3.3... Preprocessing library monomorphic-0.0.3.3... [1 of 1] Compiling Data.Type.Monomorphic ( Data/Type/Monomorphic.hs, dist/build/Data/Type/Monomorphic.o ) In-place registering monomorphic-0.0.3.3... Running Haddock for monomorphic-0.0.3.3... Running hscolour for monomorphic-0.0.3.3... Preprocessing library monomorphic-0.0.3.3... Preprocessing library monomorphic-0.0.3.3... Haddock coverage: 70% ( 7 / 10) in 'Data.Type.Monomorphic' Missing documentation for: Module header monomorphicCompose (Data/Type/Monomorphic.hs:32) :.: (Data/Type/Monomorphic.hs:10) Documentation created: dist/doc/html/monomorphic/index.html, dist/doc/html/monomorphic/monomorphic.txt Creating package registration file: /tmp/pkgConf-monomorphic-0.0.3278722862233665123.3 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/monomorphic-0.0.3.3-GRD3aisImhW5rFq88AlZbV Registering monomorphic-0.0.3.3... Installed monomorphic-0.0.3.3 Configuring mtl-2.2.1... Building mtl-2.2.1... Preprocessing library mtl-2.2.1... [ 1 of 22] Compiling Control.Monad.Writer.Class ( Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o ) [ 2 of 22] Compiling Control.Monad.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o ) [ 3 of 22] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o ) [ 4 of 22] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o ) [ 5 of 22] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o ) [ 6 of 22] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o ) [ 7 of 22] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o ) [ 8 of 22] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o ) [ 9 of 22] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o ) [10 of 22] Compiling Control.Monad.Except ( Control/Monad/Except.hs, dist/build/Control/Monad/Except.o ) [11 of 22] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o ) [12 of 22] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o ) [13 of 22] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o ) [14 of 22] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o ) [15 of 22] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o ) [16 of 22] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o ) [17 of 22] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o ) [18 of 22] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o ) [19 of 22] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o ) [20 of 22] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o ) [21 of 22] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.o ) [22 of 22] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs, dist/build/Control/Monad/Cont.o ) In-place registering mtl-2.2.1... Running Haddock for mtl-2.2.1... Running hscolour for mtl-2.2.1... Preprocessing library mtl-2.2.1... Preprocessing library mtl-2.2.1... Haddock coverage: 75% ( 3 / 4) in 'Control.Monad.Writer.Class' Missing documentation for: MonadWriter (Control/Monad/Writer/Class.hs:62) 100% ( 5 / 5) in 'Control.Monad.State.Class' 100% ( 3 / 3) in 'Control.Monad.Reader.Class' 80% ( 4 / 5) in 'Control.Monad.RWS.Class' Missing documentation for: MonadRWS (Control/Monad/RWS/Class.hs:44) 100% ( 4 / 4) in 'Control.Monad.Identity' 100% ( 3 / 3) in 'Control.Monad.Error.Class' 50% ( 1 / 2) in 'Control.Monad.Cont.Class' Missing documentation for: MonadCont (Control/Monad/Cont/Class.hs:73) 100% ( 3 / 3) in 'Control.Monad.Trans' 93% ( 14 / 15) in 'Control.Monad.Error' Missing documentation for: runErrorT 100% ( 19 / 19) in 'Control.Monad.Except' 100% ( 5 / 5) in 'Control.Monad.List' 95% ( 21 / 22) in 'Control.Monad.RWS.Lazy' Missing documentation for: runRWST 100% ( 2 / 2) in 'Control.Monad.RWS' 96% ( 22 / 23) in 'Control.Monad.Reader' Missing documentation for: runReaderT 95% ( 21 / 22) in 'Control.Monad.RWS.Strict' Missing documentation for: runRWST 96% ( 24 / 25) in 'Control.Monad.State.Lazy' Missing documentation for: runStateT 100% ( 2 / 2) in 'Control.Monad.State' 96% ( 24 / 25) in 'Control.Monad.State.Strict' Missing documentation for: runStateT 89% ( 17 / 19) in 'Control.Monad.Writer.Lazy' Missing documentation for: MonadWriter (Control/Monad/Writer/Class.hs:62) runWriterT 100% ( 2 / 2) in 'Control.Monad.Writer' 94% ( 17 / 18) in 'Control.Monad.Writer.Strict' Missing documentation for: MonadWriter (Control/Monad/Writer/Class.hs:62) 91% ( 20 / 22) in 'Control.Monad.Cont' Missing documentation for: MonadCont (Control/Monad/Cont/Class.hs:73) runContT Documentation created: dist/doc/html/mtl/index.html, dist/doc/html/mtl/mtl.txt Creating package registration file: /tmp/pkgConf-mtl-2.220539999321264095060.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/mtl-2.2.1-KMpng31YRYc5JfMWFZ3FCU Registering mtl-2.2.1... Installed mtl-2.2.1 Configuring newtype-0.2... Building newtype-0.2... Preprocessing library newtype-0.2... [1 of 1] Compiling Control.Newtype ( Control/Newtype.hs, dist/build/Control/Newtype.o ) In-place registering newtype-0.2... Running Haddock for newtype-0.2... Running hscolour for newtype-0.2... Preprocessing library newtype-0.2... Preprocessing library newtype-0.2... Haddock coverage: 100% ( 9 / 9) in 'Control.Newtype' Documentation created: dist/doc/html/newtype/index.html, dist/doc/html/newtype/newtype.txt Creating package registration file: /tmp/pkgConf-newtype-013093833031129033333.2 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/newtype-0.2-L5sgrgNl4zTHP4bzoZ9sPq Registering newtype-0.2... Installed newtype-0.2 Configuring safe-0.3.9... Building safe-0.3.9... Preprocessing library safe-0.3.9... [1 of 4] Compiling Safe.Util ( Safe/Util.hs, dist/build/Safe/Util.o ) [2 of 4] Compiling Safe.Exact ( Safe/Exact.hs, dist/build/Safe/Exact.o ) [3 of 4] Compiling Safe.Foldable ( Safe/Foldable.hs, dist/build/Safe/Foldable.o ) [4 of 4] Compiling Safe ( Safe.hs, dist/build/Safe.o ) In-place registering safe-0.3.9... Running Haddock for safe-0.3.9... Running hscolour for safe-0.3.9... Preprocessing library safe-0.3.9... Preprocessing library safe-0.3.9... Haddock coverage: 14% ( 1 / 7) in 'Safe.Util' Missing documentation for: .^ (Safe/Util.hs:8) .^^ (Safe/Util.hs:11) liftMay (Safe/Util.hs:14) fromNoteModule (Safe/Util.hs:17) fromNoteEitherModule (Safe/Util.hs:21) eitherToMaybe (Safe/Util.hs:25) 35% ( 8 / 23) in 'Safe.Exact' Missing documentation for: takeExactMay (Safe/Exact.hs:93) takeExactNote (Safe/Exact.hs:90) takeExactDef (Safe/Exact.hs:96) dropExactMay (Safe/Exact.hs:102) dropExactNote (Safe/Exact.hs:99) dropExactDef (Safe/Exact.hs:105) splitAtExactMay (Safe/Exact.hs:112) splitAtExactNote (Safe/Exact.hs:108) splitAtExactDef (Safe/Exact.hs:116) zipExactMay (Safe/Exact.hs:140) zipExactNote (Safe/Exact.hs:137) zipExactDef (Safe/Exact.hs:143) zipWithExactMay (Safe/Exact.hs:149) zipWithExactNote (Safe/Exact.hs:146) zipWithExactDef (Safe/Exact.hs:152) 18% ( 5 / 28) in 'Safe.Foldable' Missing documentation for: foldl1May (Safe/Foldable.hs:38) foldl1Def (Safe/Foldable.hs:46) foldl1Note (Safe/Foldable.hs:42) foldr1May (Safe/Foldable.hs:38) foldr1Def (Safe/Foldable.hs:46) foldr1Note (Safe/Foldable.hs:42) findJustDef (Safe/Foldable.hs:79) findJustNote (Safe/Foldable.hs:82) minimumMay (Safe/Foldable.hs:50) minimumDef (Safe/Foldable.hs:54) minimumNote (Safe/Foldable.hs:58) maximumMay (Safe/Foldable.hs:50) maximumDef (Safe/Foldable.hs:54) maximumNote (Safe/Foldable.hs:58) minimumByMay (Safe/Foldable.hs:62) minimumByDef (Safe/Foldable.hs:66) minimumByNote (Safe/Foldable.hs:70) maximumByMay (Safe/Foldable.hs:62) maximumByDef (Safe/Foldable.hs:66) maximumByNote (Safe/Foldable.hs:70) foldl1Safe (Safe/Foldable.hs:90) foldr1Safe (Safe/Foldable.hs:94) findJustSafe (Safe/Foldable.hs:99) 20% ( 14 / 71) in 'Safe' Missing documentation for: initMay (Safe.hs:114) initDef (Safe.hs:117) initNote (Safe.hs:120) initSafe (Safe.hs:123) headMay (Safe.hs:128) headDef (Safe.hs:132) headNote (Safe.hs:136) lastMay (Safe.hs:128) lastDef (Safe.hs:132) lastNote (Safe.hs:136) minimumMay (Safe.hs:140) minimumDef (Safe.hs:144) minimumNote (Safe.hs:148) maximumMay (Safe.hs:140) maximumDef (Safe.hs:144) maximumNote (Safe.hs:148) minimumByMay (Safe.hs:152) minimumByDef (Safe.hs:156) minimumByNote (Safe.hs:160) maximumByMay (Safe.hs:152) maximumByDef (Safe.hs:156) maximumByNote (Safe.hs:160) foldr1May (Safe.hs:165) foldr1Def (Safe.hs:170) foldr1Note (Safe.hs:175) foldl1May (Safe.hs:165) foldl1Def (Safe.hs:170) foldl1Note (Safe.hs:175) foldl1May' (Safe.hs:165) foldl1Def' (Safe.hs:170) foldl1Note' (Safe.hs:175) scanl1May (Safe.hs:180) scanl1Def (Safe.hs:184) scanl1Note (Safe.hs:188) scanr1May (Safe.hs:180) scanr1Def (Safe.hs:184) scanr1Note (Safe.hs:188) fromJustNote (Safe.hs:197) assertNote (Safe.hs:200) atMay (Safe.hs:209) atDef (Safe.hs:212) atNote (Safe.hs:215) readMay (Safe.hs:219) readDef (Safe.hs:222) readNote (Safe.hs:225) lookupJustDef (Safe.hs:233) lookupJustNote (Safe.hs:236) findJustDef (Safe.hs:244) findJustNote (Safe.hs:247) elemIndexJustDef (Safe.hs:255) elemIndexJustNote (Safe.hs:258) findIndexJustDef (Safe.hs:266) findIndexJustNote (Safe.hs:269) toEnumMay (Safe.hs:274) toEnumDef (Safe.hs:283) toEnumNote (Safe.hs:286) toEnumSafe (Safe.hs:289) Documentation created: dist/doc/html/safe/index.html, dist/doc/html/safe/safe.txt Creating package registration file: /tmp/pkgConf-safe-0.317220600491455590964.9 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/safe-0.3.9-BXSoeRP9IFG6t9s3abNgVi Registering safe-0.3.9... Installed safe-0.3.9 Configuring syb-0.6... Building syb-0.6... Preprocessing library syb-0.6... [ 1 of 16] Compiling Data.Generics.Basics ( src/Data/Generics/Basics.hs, dist/build/Data/Generics/Basics.o ) [ 2 of 16] Compiling Generics.SYB.Basics ( src/Generics/SYB/Basics.hs, dist/build/Generics/SYB/Basics.o ) [ 3 of 16] Compiling Data.Generics.Instances ( src/Data/Generics/Instances.hs, dist/build/Data/Generics/Instances.o ) [ 4 of 16] Compiling Generics.SYB.Instances ( src/Generics/SYB/Instances.hs, dist/build/Generics/SYB/Instances.o ) [ 5 of 16] Compiling Data.Generics.Aliases ( src/Data/Generics/Aliases.hs, dist/build/Data/Generics/Aliases.o ) [ 6 of 16] Compiling Data.Generics.Schemes ( src/Data/Generics/Schemes.hs, dist/build/Data/Generics/Schemes.o ) [ 7 of 16] Compiling Generics.SYB.Schemes ( src/Generics/SYB/Schemes.hs, dist/build/Generics/SYB/Schemes.o ) [ 8 of 16] Compiling Data.Generics.Text ( src/Data/Generics/Text.hs, dist/build/Data/Generics/Text.o ) [ 9 of 16] Compiling Generics.SYB.Text ( src/Generics/SYB/Text.hs, dist/build/Generics/SYB/Text.o ) [10 of 16] Compiling Data.Generics.Twins ( src/Data/Generics/Twins.hs, dist/build/Data/Generics/Twins.o ) [11 of 16] Compiling Generics.SYB.Twins ( src/Generics/SYB/Twins.hs, dist/build/Generics/SYB/Twins.o ) [12 of 16] Compiling Data.Generics.Builders ( src/Data/Generics/Builders.hs, dist/build/Data/Generics/Builders.o ) [13 of 16] Compiling Generics.SYB.Builders ( src/Generics/SYB/Builders.hs, dist/build/Generics/SYB/Builders.o ) [14 of 16] Compiling Generics.SYB.Aliases ( src/Generics/SYB/Aliases.hs, dist/build/Generics/SYB/Aliases.o ) [15 of 16] Compiling Data.Generics ( src/Data/Generics.hs, dist/build/Data/Generics.o ) [16 of 16] Compiling Generics.SYB ( src/Generics/SYB.hs, dist/build/Generics/SYB.o ) In-place registering syb-0.6... Running Haddock for syb-0.6... Running hscolour for syb-0.6... Preprocessing library syb-0.6... Preprocessing library syb-0.6... Haddock coverage: 100% ( 2 / 2) in 'Data.Generics.Basics' 100% ( 2 / 2) in 'Generics.SYB.Basics' 100% ( 1 / 1) in 'Data.Generics.Instances' 100% ( 1 / 1) in 'Generics.SYB.Instances' 96% ( 43 / 45) in 'Data.Generics.Aliases' Missing documentation for: GenericQ' (src/Data/Generics/Aliases.hs:268) GenericM' (src/Data/Generics/Aliases.hs:269) 100% ( 19 / 19) in 'Data.Generics.Schemes' 100% ( 2 / 2) in 'Generics.SYB.Schemes' 100% ( 6 / 6) in 'Data.Generics.Text' 100% ( 2 / 2) in 'Generics.SYB.Text' 100% ( 17 / 17) in 'Data.Generics.Twins' 100% ( 2 / 2) in 'Generics.SYB.Twins' 100% ( 3 / 3) in 'Data.Generics.Builders' 100% ( 2 / 2) in 'Generics.SYB.Builders' 100% ( 2 / 2) in 'Generics.SYB.Aliases' 100% ( 8 / 8) in 'Data.Generics' 100% ( 2 / 2) in 'Generics.SYB' Documentation created: dist/doc/html/syb/index.html, dist/doc/html/syb/syb.txt Creating package registration file: /tmp/pkgConf-syb-012320568561745790417.6 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/syb-0.6-2wX6OHAY1mu1En8Oic6xKR Registering syb-0.6... Installed syb-0.6 Configuring tagged-0.8.2... Building tagged-0.8.2... Preprocessing library tagged-0.8.2... [1 of 2] Compiling Data.Proxy.TH ( src/Data/Proxy/TH.hs, dist/build/Data/Proxy/TH.o ) [2 of 2] Compiling Data.Tagged ( src/Data/Tagged.hs, dist/build/Data/Tagged.o ) In-place registering tagged-0.8.2... Running Haddock for tagged-0.8.2... Running hscolour for tagged-0.8.2... Preprocessing library tagged-0.8.2... Preprocessing library tagged-0.8.2... Haddock coverage: 67% ( 2 / 3) in 'Data.Proxy.TH' Missing documentation for: Module header 93% ( 14 / 15) in 'Data.Tagged' Missing documentation for: witness (src/Data/Tagged.hs:308) Documentation created: dist/doc/html/tagged/index.html, dist/doc/html/tagged/tagged.txt Creating package registration file: /tmp/pkgConf-tagged-0.821069146531815209933.2 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/tagged-0.8.2-4zanMqQLQHpBO0ZYm7KGkc Registering tagged-0.8.2... Installed tagged-0.8.2 Configuring text-1.2.1.3... Building text-1.2.1.3... Preprocessing library text-1.2.1.3... [ 1 of 44] Compiling Data.Text.Internal.Read ( Data/Text/Internal/Read.hs, dist/build/Data/Text/Internal/Read.o ) Data/Text/Internal/Read.hs:21:1: Warning: The import of ‘Control.Applicative’ is redundant except perhaps to import instances from ‘Control.Applicative’ To import instances alone, use: import Control.Applicative() [ 2 of 44] Compiling Data.Text.Internal.Encoding.Utf32 ( Data/Text/Internal/Encoding/Utf32.hs, dist/build/Data/Text/Internal/Encoding/Utf32.o ) [ 3 of 44] Compiling Data.Text.Internal.Builder.RealFloat.Functions ( Data/Text/Internal/Builder/RealFloat/Functions.hs, dist/build/Data/Text/Internal/Builder/RealFloat/Functions.o ) [ 4 of 44] Compiling Data.Text.Internal.Builder.Int.Digits ( Data/Text/Internal/Builder/Int/Digits.hs, dist/build/Data/Text/Internal/Builder/Int/Digits.o ) [ 5 of 44] Compiling Data.Text.Encoding.Error ( Data/Text/Encoding/Error.hs, dist/build/Data/Text/Encoding/Error.o ) Data/Text/Encoding/Error.hs:3:14: Warning: ‘Data.Text.Encoding.Error’ is marked as Trustworthy but has been inferred as safe! [ 6 of 44] Compiling Data.Text.Internal.Unsafe.Shift ( Data/Text/Internal/Unsafe/Shift.hs, dist/build/Data/Text/Internal/Unsafe/Shift.o ) [ 7 of 44] Compiling Data.Text.Internal.Encoding.Utf16 ( Data/Text/Internal/Encoding/Utf16.hs, dist/build/Data/Text/Internal/Encoding/Utf16.o ) [ 8 of 44] Compiling Data.Text.Internal.Functions ( Data/Text/Internal/Functions.hs, dist/build/Data/Text/Internal/Functions.o ) [ 9 of 44] Compiling Data.Text.Internal.Unsafe ( Data/Text/Internal/Unsafe.hs, dist/build/Data/Text/Internal/Unsafe.o ) [10 of 44] Compiling Data.Text.Array ( Data/Text/Array.hs, dist/build/Data/Text/Array.o ) [11 of 44] Compiling Data.Text.Internal.Unsafe.Char ( Data/Text/Internal/Unsafe/Char.hs, dist/build/Data/Text/Internal/Unsafe/Char.o ) [12 of 44] Compiling Data.Text.Internal ( Data/Text/Internal.hs, dist/build/Data/Text/Internal.o ) [13 of 44] Compiling Data.Text.Internal.Fusion.Size ( Data/Text/Internal/Fusion/Size.hs, dist/build/Data/Text/Internal/Fusion/Size.o ) [14 of 44] Compiling Data.Text.Internal.Fusion.Types ( Data/Text/Internal/Fusion/Types.hs, dist/build/Data/Text/Internal/Fusion/Types.o ) [15 of 44] Compiling Data.Text.Internal.Fusion.CaseMapping ( Data/Text/Internal/Fusion/CaseMapping.hs, dist/build/Data/Text/Internal/Fusion/CaseMapping.o ) m1 (src/Data/Singletons/Prelude/List.hs:257) ZipSym2 (src/Data/Singletons/Prelude/List.hs:257) Zip3Sym0 (src/Data/Singletons/Prelude/List.hs:257) Zip3Sym1 (src/Data/Singletons/Prelude/List.hs:257) Zip3Sym2 (src/Data/Singletons/Prelude/List.hs:257) Zip3Sym3 (src/Data/Singletons/Prelude/List.hs:257) ZipWithSym0 (src/Data/Singletons/Prelude/List.hs:257) ZipWithSym1 (src/Data/Singletons/Prelude/List.hs:257) ZipWithSym2 (src/Data/Singletons/Prelude/List.hs:257) ZipWithSym3 (src/Data/Singletons/Prelude/List.hs:257) ZipWith3Sym0 (src/Data/Singletons/Prelude/List.hs:257) ZipWith3Sym1 (src/Data/Singletons/Prelude/List.hs:257) ZipWith3Sym2 (src/Data/Singletons/Prelude/List.hs:257) ZipWith3Sym3 (src/Data/Singletons/Prelude/List.hs:257) UnzipSym0 (src/Data/Singletons/Prelude/List.hs:257) UnzipSym1 (src/Data/Singletons/Prelude/List.hs:257) 6% ( 27 /470) in 'Data.Promotion.Prelude.List' Missing documentation for: :++ (src/Data/Singletons/Prelude/Base.hs:55) Head (src/Data/Singletons/Prelude/List.hs:257) Last (src/Data/Singletons/Prelude/List.hs:257) Tail (src/Data/Singletons/Prelude/List.hs:257) Init (src/Data/Singletons/Prelude/List.hs:257) Null (src/Data/Singletons/Prelude/List.hs:257) Length (src/Data/Singletons/Prelude/List.hs:257) Map (src/Data/Singletons/Prelude/Base.hs:55) Reverse (src/Data/Singletons/Prelude/List.hs:257) Intersperse (src/Data/Singletons/Prelude/List.hs:257) Intercalate (src/Data/Singletons/Prelude/List.hs:257) Transpose (src/Data/Singletons/Prelude/List.hs:257) Subsequences (src/Data/Singletons/Prelude/List.hs:257) Permutations (src/Data/Singletons/Prelude/List.hs:257) Foldl (src/Data/Singletons/Prelude/Instances.hs:27) Foldl' (src/Data/Singletons/Prelude/List.hs:257) Foldl1 (src/Data/Singletons/Prelude/List.hs:257) Foldl1' (src/Data/Singletons/Prelude/List.hs:257) Foldr (src/Data/Singletons/Prelude/Base.hs:55) Foldr1 (src/Data/Singletons/Prelude/List.hs:257) Concat (src/Data/Singletons/Prelude/List.hs:257) ConcatMap (src/Data/Singletons/Prelude/List.hs:257) And (src/Data/Singletons/Prelude/List.hs:257) Or (src/Data/Singletons/Prelude/List.hs:257) Any_ (src/Data/Singletons/Prelude/List.hs:251) All (src/Data/Singletons/Prelude/List.hs:257) Sum (src/Data/Singletons/Prelude/List.hs:257) Product (src/Data/Singletons/Prelude/List.hs:257) Maximum (src/Data/Singletons/Prelude/List.hs:257) Minimum (src/Data/Singletons/Prelude/List.hs:257) any_ (src/Data/Singletons/Prelude/List.hs:251) Scanl (src/Data/Singletons/Prelude/List.hs:257) Scanl1 (src/Data/Singletons/Prelude/List.hs:257) Scanr (src/Data/Singletons/Prelude/List.hs:257) Scanr1 (src/Data/Singletons/Prelude/List.hs:257) MapAccumL (src/Data/Singletons/Prelude/List.hs:257) MapAccumR (src/Data/Singletons/Prelude/List.hs:257) Replicate (src/Data/Singletons/Prelude/List.hs:257) Unfoldr (src/Data/Singletons/Prelude/List.hs:257) Take (src/Data/Singletons/Prelude/List.hs:257) Drop (src/Data/Singletons/Prelude/List.hs:257) SplitAt (src/Data/Singletons/Prelude/List.hs:257) TakeWhile (src/Data/Singletons/Prelude/List.hs:257) DropWhile (src/Data/Singletons/Prelude/List.hs:257) DropWhileEnd (src/Data/Singletons/Prelude/List.hs:257) Span (src/Data/Singletons/Prelude/List.hs:257) Break (src/Data/Singletons/Prelude/List.hs:257) StripPrefix (src/Data/Promotion/Prelude/List.hs:233) Group (src/Data/Singletons/Prelude/List.hs:257) Inits (src/Data/Singletons/Prelude/List.hs:257) Tails (src/Data/Singletons/Prelude/List.hs:257) IsPrefixOf (src/Data/Singletons/Prelude/List.hs:257) IsSuffixOf (src/Data/Singletons/Prelude/List.hs:257) IsInfixOf (src/Data/Singletons/Prelude/List.hs:257) Elem (src/Data/Singletons/Prelude/List.hs:257) NotElem (src/Data/Singletons/Prelude/List.hs:257) Lookup (src/Data/Singletons/Prelude/List.hs:257) Find (src/Data/Singletons/Prelude/List.hs:257) Filter (src/Data/Singletons/Prelude/List.hs:257) Partition (src/Data/Singletons/Prelude/List.hs:257) :!! (src/Data/Singletons/Prelude/List.hs:257) ElemIndex (src/Data/Singletons/Prelude/List.hs:257) ElemIndices (src/Data/Singletons/Prelude/List.hs:257) FindIndex (src/Data/Singletons/Prelude/List.hs:257) FindIndices (src/Data/Singletons/Prelude/List.hs:257) Zip (src/Data/Singletons/Prelude/List.hs:257) Zip3 (src/Data/Singletons/Prelude/List.hs:257) Zip4 (src/Data/Promotion/Prelude/List.hs:233) Zip5 (src/Data/Promotion/Prelude/List.hs:233) Zip6 (src/Data/Promotion/Prelude/List.hs:233) Zip7 (src/Data/Promotion/Prelude/List.hs:233) ZipWith (src/Data/Singletons/Prelude/List.hs:257) ZipWith3 (src/Data/Singletons/Prelude/List.hs:257) ZipWith4 (src/Data/Promotion/Prelude/List.hs:233) ZipWith5 (src/Data/Promotion/Prelude/List.hs:233) ZipWith6 (src/Data/Promotion/Prelude/List.hs:233) ZipWith7 (src/Data/Promotion/Prelude/List.hs:233) Unzip (src/Data/Singletons/Prelude/List.hs:257) Unzip3 (src/Data/Singletons/Prelude/List.hs:257) Unzip4 (src/Data/Singletons/Prelude/List.hs:257) Unzip5 (src/Data/Singletons/Prelude/List.hs:257) Unzip6 (src/Data/Singletons/Prelude/List.hs:257) Unzip7 (src/Data/Singletons/Prelude/List.hs:257) Nub (src/Data/Singletons/Prelude/List.hs:257) Delete (src/Data/Singletons/Prelude/List.hs:257) :\\ (src/Data/Singletons/Prelude/List.hs:257) Union (src/Data/Singletons/Prelude/List.hs:257) Intersect (src/Data/Singletons/Prelude/List.hs:257) Sort (src/Data/Singletons/Prelude/List.hs:257) Insert (src/Data/Singletons/Prelude/List.hs:257) NubBy (src/Data/Singletons/Prelude/List.hs:257) DeleteBy (src/Data/Singletons/Prelude/List.hs:257) DeleteFirstsBy (src/Data/Singletons/Prelude/List.hs:257) UnionBy (src/Data/Singletons/Prelude/List.hs:257) GroupBy (src/Data/Singletons/Prelude/List.hs:257) IntersectBy (src/Data/Singletons/Prelude/List.hs:257) SortBy (src/Data/Singletons/Prelude/List.hs:257) InsertBy (src/Data/Singletons/Prelude/List.hs:257) MaximumBy (src/Data/Singletons/Prelude/List.hs:257) MinimumBy (src/Data/Singletons/Prelude/List.hs:257) GenericLength (src/Data/Singletons/Prelude/List.hs:257) GenericTake (src/Data/Promotion/Prelude/List.hs:233) GenericDrop (src/Data/Promotion/Prelude/List.hs:233) GenericSplitAt (src/Data/Promotion/Prelude/List.hs:233) GenericIndex (src/Data/Promotion/Prelude/List.hs:233) GenericReplicate (src/Data/Promotion/Prelude/List.hs:233) NilSym0 (src/Data/Singletons/Prelude/Instances.hs:22) :$ (src/Data/Singletons/Prelude/Instances.hs:22) :$$ (src/Data/Singletons/Prelude/Instances.hs:22) :$$$ (src/Data/Singletons/Prelude/Instances.hs:22) :++$$$ (src/Data/Singletons/Prelude/Base.hs:55) :++$$ (src/Data/Singletons/Prelude/Base.hs:55) :++$ (src/Data/Singletons/Prelude/Base.hs:55) HeadSym0 (src/Data/Singletons/Prelude/List.hs:257) HeadSym1 (src/Data/Singletons/Prelude/List.hs:257) LastSym0 (src/Data/Singletons/Prelude/List.hs:257) LastSym1 (src/Data/Singletons/Prelude/List.hs:257) TailSym0 (src/Data/Singletons/Prelude/List.hs:257) TailSym1 (src/Data/Singletons/Prelude/List.hs:257) InitSym0 (src/Data/Singletons/Prelude/List.hs:257) InitSym1 (src/Data/Singletons/Prelude/List.hs:257) NullSym0 (src/Data/Singletons/Prelude/List.hs:257) NullSym1 (src/Data/Singletons/Prelude/List.hs:257) MapSym0 (src/Data/Singletons/Prelude/Base.hs:55) MapSym1 (src/Data/Singletons/Prelude/Base.hs:55) MapSym2 (src/Data/Singletons/Prelude/Base.hs:55) ReverseSym0 (src/Data/Singletons/Prelude/List.hs:257) ReverseSym1 (src/Data/Singletons/Prelude/List.hs:257) IntersperseSym0 (src/Data/Singletons/Prelude/List.hs:257) IntersperseSym1 (src/Data/Singletons/Prelude/List.hs:257) IntersperseSym2 (src/Data/Singletons/Prelude/List.hs:257) IntercalateSym0 (src/Data/Singletons/Prelude/List.hs:257) IntercalateSym1 (src/Data/Singletons/Prelude/List.hs:257) IntercalateSym2 (src/Data/Singletons/Prelude/List.hs:257) SubsequencesSym0 (src/Data/Singletons/Prelude/List.hs:257) SubsequencesSym1 (src/Data/Singletons/Prelude/List.hs:257) PermutationsSym0 (src/Data/Singletons/Prelude/List.hs:257) PermutationsSym1 (src/Data/Singletons/Prelude/List.hs:257) FoldlSym0 (src/Data/Singletons/Prelude/Instances.hs:27) FoldlSym1 (src/Data/Singletons/Prelude/Instances.hs:27) FoldlSym2 (src/Data/Singletons/Prelude/Instances.hs:27) FoldlSym3 (src/Data/Singletons/Prelude/Instances.hs:27) Foldl'Sym0 (src/Data/Singletons/Prelude/List.hs:257) Foldl'Sym1 (src/Data/Singletons/Prelude/List.hs:257) Foldl'Sym2 (src/Data/Singletons/Prelude/List.hs:257) Foldl'Sym3 (src/Data/Singletons/Prelude/List.hs:257) Foldl1Sym0 (src/Data/Singletons/Prelude/List.hs:257) Foldl1Sym1 (src/Data/Singletons/Prelude/List.hs:257) Foldl1Sym2 (src/Data/Singletons/Prelude/List.hs:257) Foldl1'Sym0 (src/Data/Singletons/Prelude/List.hs:257) Foldl1'Sym1 (src/Data/Singletons/Prelude/List.hs:257) Foldl1'Sym2 (src/Data/Singletons/Prelude/List.hs:257) FoldrSym0 (src/Data/Singletons/Prelude/Base.hs:55) FoldrSym1 (src/Data/Singletons/Prelude/Base.hs:55) FoldrSym2 (src/Data/Singletons/Prelude/Base.hs:55) FoldrSym3 (src/Data/Singletons/Prelude/Base.hs:55) Foldr1Sym0 (src/Data/Singletons/Prelude/List.hs:257) Foldr1Sym1 (src/Data/Singletons/Prelude/List.hs:257) Foldr1Sym2 (src/Data/Singletons/Prelude/List.hs:257) ConcatSym0 (src/Data/Singletons/Prelude/List.hs:257) ConcatSym1 (src/Data/Singletons/Prelude/List.hs:257) ConcatMapSym0 (src/Data/Singletons/Prelude/List.hs:257) ConcatMapSym1 (src/Data/Singletons/Prelude/List.hs:257) ConcatMapSym2 (src/Data/Singletons/Prelude/List.hs:257) AndSym0 (src/Data/Singletons/Prelude/List.hs:257) AndSym1 (src/Data/Singletons/Prelude/List.hs:257) OrSym0 (src/Data/Singletons/Prelude/List.hs:257) OrSym1 (src/Data/Singletons/Prelude/List.hs:257) Any_Sym0 (src/Data/Singletons/Prelude/List.hs:251) Any_Sym1 (src/Data/Singletons/Prelude/List.hs:251) Any_Sym2 (src/Data/Singletons/Prelude/List.hs:251) AllSym0 (src/Data/Singletons/Prelude/List.hs:257) AllSym1 (src/Data/Singletons/Prelude/List.hs:257) AllSym2 (src/Data/Singletons/Prelude/List.hs:257) ScanlSym0 (src/Data/Singletons/Prelude/List.hs:257) ScanlSym1 (src/Data/Singletons/Prelude/List.hs:257) ScanlSym2 (src/Data/Singletons/Prelude/List.hs:257) ScanlSym3 (src/Data/Singletons/Prelude/List.hs:257) Scanl1Sym0 (src/Data/Singletons/Prelude/List.hs:257) Scanl1Sym1 (src/Data/Singletons/Prelude/List.hs:257) Scanl1Sym2 (src/Data/Singletons/Prelude/List.hs:257) ScanrSym0 (src/Data/Singletons/Prelude/List.hs:257) ScanrSym1 (src/Data/Singletons/Prelude/List.hs:257) ScanrSym2 (src/Data/Singletons/Prelude/List.hs:257) ScanrSym3 (src/Data/Singletons/Prelude/List.hs:257) Scanr1Sym0 (src/Data/Singletons/Prelude/List.hs:257) Scanr1Sym1 (src/Data/Singletons/Prelude/List.hs:257) Scanr1Sym2 (src/Data/Singletons/Prelude/List.hs:257) MapAccumLSym0 (src/Data/Singletons/Prelude/List.hs:257) MapAccumLSym1 (src/Data/Singletons/Prelude/List.hs:257) MapAccumLSym2 (src/Data/Singletons/Prelude/List.hs:257) MapAccumLSym3 (src/Data/Singletons/Prelude/List.hs:257) MapAccumRSym0 (src/Data/Singletons/Prelude/List.hs:257) MapAccumRSym1 (src/Data/Singletons/Prelude/List.hs:257) MapAccumRSym2 (src/Data/Singletons/Prelude/List.hs:257) MapAccumRSym3 (src/Data/Singletons/Prelude/List.hs:257) UnfoldrSym0 (src/Data/Singletons/Prelude/List.hs:257) UnfoldrSym1 (src/Data/Singletons/Prelude/List.hs:257) UnfoldrSym2 (src/Data/Singletons/Prelude/List.hs:257) InitsSym0 (src/Data/Singletons/Prelude/List.hs:257) InitsSym1 (src/Data/Singletons/Prelude/List.hs:257) TailsSym0 (src/Data/Singletons/Prelude/List.hs:257) TailsSym1 (src/Data/Singletons/Prelude/List.hs:257) IsPrefixOfSym0 (src/Data/Singletons/Prelude/List.hs:257) IsPrefixOfSym1 (src/Data/Singletons/Prelude/List.hs:257) IsPrefixOfSym2 (src/Data/Singletons/Prelude/List.hs:257) IsSuffixOfSym0 (src/Data/Singletons/Prelude/List.hs:257) IsSuffixOfSym1 (src/Data/Singletons/Prelude/List.hs:257) IsSuffixOfSym2 (src/Data/Singletons/Prelude/List.hs:257) IsInfixOfSym0 (src/Data/Singletons/Prelude/List.hs:257) IsInfixOfSym1 (src/Data/Singletons/Prelude/List.hs:257) IsInfixOfSym2 (src/Data/Singletons/Prelude/List.hs:257) ElemSym0 (src/Data/Singletons/Prelude/List.hs:257) ElemSym1 (src/Data/Singletons/Prelude/List.hs:257) ElemSym2 (src/Data/Singletons/Prelude/List.hs:257) NotElemSym0 (src/Data/Singletons/Prelude/List.hs:257) NotElemSym1 (src/Data/Singletons/Prelude/List.hs:257) NotElemSym2 (src/Data/Singletons/Prelude/List.hs:257) ZipSym0 (src/Data/Singletons/Prelude/List.hs:257) ZipSym1 (src/Data/Singletons/Prelude/List.hs:257) ZipSym2 (src/Data/Singletons/Prelude/List.hs:257) Zip3Sym0 (src/Data/Singletons/Prelude/List.hs:257) Zip3Sym1 (src/Data/Singletons/Prelude/List.hs:257) Zip3Sym2 (src/Data/Singletons/Prelude/List.hs:257) Zip3Sym3 (src/Data/Singletons/Prelude/List.hs:257) ZipWithSym0 (src/Data/Singletons/Prelude/List.hs:257) ZipWithSym1 (src/Data/Singletons/Prelude/List.hs:257) ZipWithSym2 (src/Data/Singletons/Prelude/List.hs:257) ZipWithSym3 (src/Data/Singletons/Prelude/List.hs:257) ZipWith3Sym0 (src/Data/Singletons/Prelude/List.hs:257) ZipWith3Sym1 (src/Data/Singletons/Prelude/List.hs:257) ZipWith3Sym2 (src/Data/Singletons/Prelude/List.hs:257) ZipWith3Sym3 (src/Data/Singletons/Prelude/List.hs:257) ZipWith3Sym4 (src/Data/Singletons/Prelude/List.hs:257) UnzipSym0 (src/Data/Singletons/Prelude/List.hs:257) UnzipSym1 (src/Data/Singletons/Prelude/List.hs:257) Unzip3Sym0 (src/Data/Singletons/Prelude/List.hs:257) Unzip3Sym1 (src/Data/Singletons/Prelude/List.hs:257) Unzip4Sym0 (src/Data/Singletons/Prelude/List.hs:257) Unzip4Sym1 (src/Data/Singletons/Prelude/List.hs:257) Unzip5Sym0 (src/Data/Singletons/Prelude/List.hs:257) Unzip5Sym1 (src/Data/Singletons/Prelude/List.hs:257) Unzip6Sym0 (src/Data/Singletons/Prelude/List.hs:257) Unzip6Sym1 (src/Data/Singletons/Prelude/List.hs:257) Unzip7Sym0 (src/Data/Singletons/Prelude/List.hs:257) Unzip7Sym1 (src/Data/Singletons/Prelude/List.hs:257) DeleteSym0 (src/Data/Singletons/Prelude/List.hs:257) DeleteSym1 (src/Data/Singletons/Prelude/List.hs:257) DeleteSym2 (src/Data/Singletons/Prelude/List.hs:257) :\\$ (src/Data/Singletons/Prelude/List.hs:257) :\\$$ (src/Data/Singletons/Prelude/List.hs:257) :\\$$$ (src/Data/Singletons/Prelude/List.hs:257) IntersectSym0 (src/Data/Singletons/Prelude/List.hs:257) IntersectSym1 (src/Data/Singletons/Prelude/List.hs:257) IntersectSym2 (src/Data/Singletons/Prelude/List.hs:257) InsertSym0 (src/Data/Singletons/Prelude/List.hs:257) InsertSym1 (src/Data/Singletons/Prelude/List.hs:257) InsertSym2 (src/Data/Singletons/Prelude/List.hs:257) SortSym0 (src/Data/Singletons/Prelude/List.hs:257) SortSym1 (src/Data/Singletons/Prelude/List.hs:257) DeleteBySym0 (src/Data/Singletons/Prelude/List.hs:257) DeleteBySym1 (src/Data/Singletons/Prelude/List.hs:257) DeleteBySym2 (src/Data/Singletons/Prelude/List.hs:257) DeleteBySym3 (src/Data/Singletons/Prelude/List.hs:257) DeleteFirstsBySym0 (src/Data/Singletons/Prelude/List.hs:257) DeleteFirstsBySym1 (src/Data/Singletons/Prelude/List.hs:257) DeleteFirstsBySym2 (src/Data/Singletons/Prelude/List.hs:257) DeleteFirstsBySym3 (src/Data/Singletons/Prelude/List.hs:257) IntersectBySym0 (src/Data/Singletons/Prelude/List.hs:257) IntersectBySym1 (src/Data/Singletons/Prelude/List.hs:257) IntersectBySym2 (src/Data/Singletons/Prelude/List.hs:257) SortBySym0 (src/Data/Singletons/Prelude/List.hs:257) SortBySym1 (src/Data/Singletons/Prelude/List.hs:257) SortBySym2 (src/Data/Singletons/Prelude/List.hs:257) InsertBySym0 (src/Data/Singletons/Prelude/List.hs:257) InsertBySym1 (src/Data/Singletons/Prelude/List.hs:257) InsertBySym2 (src/Data/Singletons/Prelude/List.hs:257) InsertBySym3 (src/Data/Singletons/Prelude/List.hs:257) MaximumBySym0 (src/Data/Singletons/Prelude/List.hs:257) MaximumBySym1 (src/Data/Singletons/Prelude/List.hs:257) MaximumBySym2 (src/Data/Singletons/Prelude/List.hs:257) MinimumBySym0 (src/Data/Singletons/Prelude/List.hs:257) MinimumBySym1 (src/Data/Singletons/Prelude/List.hs:257) MinimumBySym2 (src/Data/Singletons/Prelude/List.hs:257) LengthSym0 (src/Data/Singletons/Prelude/List.hs:257) LengthSym1 (src/Data/Singletons/Prelude/List.hs:257) SumSym0 (src/Data/Singletons/Prelude/List.hs:257) SumSym1 (src/Data/Singletons/Prelude/List.hs:257) ProductSym0 (src/Data/Singletons/Prelude/List.hs:257) ProductSym1 (src/Data/Singletons/Prelude/List.hs:257) ReplicateSym0 (src/Data/Singletons/Prelude/List.hs:257) ReplicateSym1 (src/Data/Singletons/Prelude/List.hs:257) ReplicateSym2 (src/Data/Singletons/Prelude/List.hs:257) TransposeSym0 (src/Data/Singletons/Prelude/List.hs:257) TransposeSym1 (src/Data/Singletons/Prelude/List.hs:257) TakeSym0 (src/Data/Singletons/Prelude/List.hs:257) TakeSym1 (src/Data/Singletons/Prelude/List.hs:257) TakeSym2 (src/Data/Singletons/Prelude/List.hs:257) DropSym0 (src/Data/Singletons/Prelude/List.hs:257) DropSym1 (src/Data/Singletons/Prelude/List.hs:257) DropSym2 (src/Data/Singletons/Prelude/List.hs:257) SplitAtSym0 (src/Data/Singletons/Prelude/List.hs:257) SplitAtSym1 (src/Data/Singletons/Prelude/List.hs:257) SplitAtSym2 (src/Data/Singletons/Prelude/List.hs:257) TakeWhileSym0 (src/Data/Singletons/Prelude/List.hs:257) TakeWhileSym1 (src/Data/Singletons/Prelude/List.hs:257) TakeWhileSym2 (src/Data/Singletons/Prelude/List.hs:257) DropWhileSym0 (src/Data/Singletons/Prelude/List.hs:257) DropWhileSym1 (src/Data/Singletons/Prelude/List.hs:257) DropWhileSym2 (src/Data/Singletons/Prelude/List.hs:257) DropWhileEndSym0 (src/Data/Singletons/Prelude/List.hs:257) DropWhileEndSym1 (src/Data/Singletons/Prelude/List.hs:257) DropWhileEndSym2 (src/Data/Singletons/Prelude/List.hs:257) SpanSym0 (src/Data/Singletons/Prelude/List.hs:257) SpanSym1 (src/Data/Singletons/Prelude/List.hs:257) SpanSym2 (src/Data/Singletons/Prelude/List.hs:257) BreakSym0 (src/Data/Singletons/Prelude/List.hs:257) BreakSym1 (src/Data/Singletons/Prelude/List.hs:257) BreakSym2 (src/Data/Singletons/Prelude/List.hs:257) StripPrefixSym0 (src/Data/Promotion/Prelude/List.hs:233) StripPrefixSym1 (src/Data/Promotion/Prelude/List.hs:233) StripPrefixSym2 (src/Data/Promotion/Prelude/List.hs:233) MaximumSym0 (src/Data/Singletons/Prelude/List.hs:257) MaximumSym1 (src/Data/Singletons/Prelude/List.hs:257) MinimumSym0 (src/Data/Singletons/Prelude/List.hs:257) MinimumSym1 (src/Data/Singletons/Prelude/List.hs:257) GroupSym0 (src/Data/Singletons/Prelude/List.hs:257) GroupSym1 (src/Data/Singletons/Prelude/List.hs:257) GroupBySym0 (src/Data/Singletons/Prelude/List.hs:257) GroupBySym1 (src/Data/Singletons/Prelude/List.hs:257) GroupBySym2 (src/Data/Singletons/Prelude/List.hs:257) LookupSym0 (src/Data/Singletons/Prelude/List.hs:257) LookupSym1 (src/Data/Singletons/Prelude/List.hs:257) LookupSym2 (src/Data/Singletons/Prelude/List.hs:257) FindSym0 (src/Data/Singletons/Prelude/List.hs:257) FindSym1 (src/Data/Singletons/Prelude/List.hs:257) FindSym2 (src/Data/Singletons/Prelude/List.hs:257) FilterSym0 (src/Data/Singletons/Prelude/List.hs:257) FilterSym1 (src/Data/Singletons/Prelude/List.hs:257) FilterSym2 (src/Data/Singletons/Prelude/List.hs:257) PartitionSym0 (src/Data/Singletons/Prelude/List.hs:257) PartitionSym1 (src/Data/Singletons/Prelude/List.hs:257) PartitionSym2 (src/Data/Singletons/Prelude/List.hs:257) :!!$ (src/Data/Singletons/Prelude/List.hs:257) :!!$$ (src/Data/Singletons/Prelude/List.hs:257) :!!$$$ (src/Data/Singletons/Prelude/List.hs:257) ElemIndexSym0 (src/Data/Singletons/Prelude/List.hs:257) ElemIndexSym1 (src/Data/Singletons/Prelude/List.hs:257) ElemIndexSym2 (src/Data/Singletons/Prelude/List.hs:257) ElemIndicesSym0 (src/Data/Singletons/Prelude/List.hs:257) ElemIndicesSym1 (src/Data/Singletons/Prelude/List.hs:257) ElemIndicesSym2 (src/Data/Singletons/Prelude/List.hs:257) FindIndexSym0 (src/Data/Singletons/Prelude/List.hs:257) FindIndexSym1 (src/Data/Singletons/Prelude/List.hs:257) FindIndexSym2 (src/Data/Singletons/Prelude/List.hs:257) FindIndicesSym0 (src/Data/Singletons/Prelude/List.hs:257) FindIndicesSym1 (src/Data/Singletons/Prelude/List.hs:257) FindIndicesSym2 (src/Data/Singletons/Prelude/List.hs:257) Zip4Sym0 (src/Data/Promotion/Prelude/List.hs:233) Zip4Sym1 (src/Data/Promotion/Prelude/List.hs:233) Zip4Sym2 (src/Data/Promotion/Prelude/List.hs:233) Zip4Sym3 (src/Data/Promotion/Prelude/List.hs:233) Zip4Sym4 (src/Data/Promotion/Prelude/List.hs:233) Zip5Sym0 (src/Data/Promotion/Prelude/List.hs:233) Zip5Sym1 (src/Data/Promotion/Prelude/List.hs:233) Zip5Sym2 (src/Data/Promotion/Prelude/List.hs:233) Zip5Sym3 (src/Data/Promotion/Prelude/List.hs:233) Zip5Sym4 (src/Data/Promotion/Prelude/List.hs:233) Zip5Sym5 (src/Data/Promotion/Prelude/List.hs:233) Zip6Sym0 (src/Data/Promotion/Prelude/List.hs:233) Zip6Sym1 (src/Data/Promotion/Prelude/List.hs:233) Zip6Sym2 (src/Data/Promotion/Prelude/List.hs:233) Zip6Sym3 (src/Data/Promotion/Prelude/List.hs:233) Zip6Sym4 (src/Data/Promotion/Prelude/List.hs:233) Zip6Sym5 (src/Data/Promotion/Prelude/List.hs:233) Zip6Sym6 (src/Data/Promotion/Prelude/List.hs:233) Zip7Sym0 (src/Data/Promotion/Prelude/List.hs:233) Zip7Sym1 (src/Data/Promotion/Prelude/List.hs:233) Zip7Sym2 (src/Data/Promotion/Prelude/List.hs:233) Zip7Sym3 (src/Data/Promotion/Prelude/List.hs:233) Zip7Sym4 (src/Data/Promotion/Prelude/List.hs:233) Zip7Sym5 (src/Data/Promotion/Prelude/List.hs:233) Zip7Sym6 (src/Data/Promotion/Prelude/List.hs:233) Zip7Sym7 (src/Data/Promotion/Prelude/List.hs:233) ZipWith4Sym0 (src/Data/Promotion/Prelude/List.hs:233) ZipWith4Sym1 (src/Data/Promotion/Prelude/List.hs:233) ZipWith4Sym2 (src/Data/Promotion/Prelude/List.hs:233) ZipWith4Sym3 (src/Data/Promotion/Prelude/List.hs:233) ZipWith4Sym4 (src/Data/Promotion/Prelude/List.hs:233) ZipWith4Sym5 (src/Data/Promotion/Prelude/List.hs:233) ZipWith5Sym0 (src/Data/Promotion/Prelude/List.hs:233) ZipWith5Sym1 (src/Data/Promotion/Prelude/List.hs:233) ZipWith5Sym2 (src/Data/Promotion/Prelude/List.hs:233) ZipWith5Sym3 (src/Data/Promotion/Prelude/List.hs:233) ZipWith5Sym4 (src/Data/Promotion/Prelude/List.hs:233) ZipWith5Sym5 (src/Data/Promotion/Prelude/List.hs:233) ZipWith5Sym6 (src/Data/Promotion/Prelude/List.hs:233) ZipWith6Sym0 (src/Data/Promotion/Prelude/List.hs:233) ZipWith6Sym1 (src/Data/Promotion/Prelude/List.hs:233) ZipWith6Sym2 (src/Data/Promotion/Prelude/List.hs:233) ZipWith6Sym3 (src/Data/Promotion/Prelude/List.hs:233) ZipWith6Sym4 (src/Data/Promotion/Prelude/List.hs:233) ZipWith6Sym5 (src/Data/Promotion/Prelude/List.hs:233) ZipWith6Sym6 (src/Data/Promotion/Prelude/List.hs:233) ZipWith6Sym7 (src/Data/Promotion/Prelude/List.hs:233) ZipWith7Sym0 (src/Data/Promotion/Prelude/List.hs:233) ZipWith7Sym1 (src/Data/Promotion/Prelude/List.hs:233) ZipWith7Sym2 (src/Data/Promotion/Prelude/List.hs:233) ZipWith7Sym3 (src/Data/Promotion/Prelude/List.hs:233) ZipWith7Sym4 (src/Data/Promotion/Prelude/List.hs:233) ZipWith7Sym5 (src/Data/Promotion/Prelude/List.hs:233) ZipWith7Sym6 (src/Data/Promotion/Prelude/List.hs:233) ZipWith7Sym7 (src/Data/Promotion/Prelude/List.hs:233) ZipWith7Sym8 (src/Data/Promotion/Prelude/List.hs:233) NubSym0 (src/Data/Singletons/Prelude/List.hs:257) NubSym1 (src/Data/Singletons/Prelude/List.hs:257) NubBySym0 (src/Data/Singletons/Prelude/List.hs:257) NubBySym1 (src/Data/Singletons/Prelude/List.hs:257) NubBySym2 (src/Data/Singletons/Prelude/List.hs:257) UnionSym0 (src/Data/Singletons/Prelude/List.hs:257) UnionSym1 (src/Data/Singletons/Prelude/List.hs:257) UnionSym2 (src/Data/Singletons/Prelude/List.hs:257) UnionBySym0 (src/Data/Singletons/Prelude/List.hs:257) UnionBySym1 (src/Data/Singletons/Prelude/List.hs:257) UnionBySym2 (src/Data/Singletons/Prelude/List.hs:257) UnionBySym3 (src/Data/Singletons/Prelude/List.hs:257) GenericLengthSym0 (src/Data/Singletons/Prelude/List.hs:257) GenericLengthSym1 (src/Data/Singletons/Prelude/List.hs:257) GenericTakeSym0 (src/Data/Promotion/Prelude/List.hs:233) GenericTakeSym1 (src/Data/Promotion/Prelude/List.hs:233) GenericTakeSym2 (src/Data/Promotion/Prelude/List.hs:233) GenericDropSym0 (src/Data/Promotion/Prelude/List.hs:233) GenericDropSym1 (src/Data/Promotion/Prelude/List.hs:233) GenericDropSym2 (src/Data/Promotion/Prelude/List.hs:233) GenericSplitAtSym0 (src/Data/Promotion/Prelude/List.hs:233) GenericSplitAtSym1 (src/Data/Promotion/Prelude/List.hs:233) GenericSplitAtSym2 (src/Data/Promotion/Prelude/List.hs:233) GenericIndexSym0 (src/Data/Promotion/Prelude/List.hs:233) GenericIndexSym1 (src/Data/Promotion/Prelude/List.hs:233) GenericIndexSym2 (src/Data/Promotion/Prelude/List.hs:233) GenericReplicateSym0 (src/Data/Promotion/Prelude/List.hs:233) GenericReplicateSym1 (src/Data/Promotion/Prelude/List.hs:233) GenericReplicateSym2 (src/Data/Promotion/Prelude/List.hs:233) 8% ( 2 / 24) in 'Data.Promotion.Prelude.Num' Missing documentation for: PNum (src/Data/Singletons/Prelude/Num.hs:42) Subtract (src/Data/Singletons/Prelude/Num.hs:127) :+$ (src/Data/Singletons/Prelude/Num.hs:42) :+$$ (src/Data/Singletons/Prelude/Num.hs:42) :+$$$ (src/Data/Singletons/Prelude/Num.hs:42) :-$ (src/Data/Singletons/Prelude/Num.hs:42) :-$$ (src/Data/Singletons/Prelude/Num.hs:42) :-$$$ (src/Data/Singletons/Prelude/Num.hs:42) :*$ (src/Data/Singletons/Prelude/Num.hs:42) :*$$ (src/Data/Singletons/Prelude/Num.hs:42) :*$$$ (src/Data/Singletons/Prelude/Num.hs:42) NegateSym0 (src/Data/Singletons/Prelude/Num.hs:42) NegateSym1 (src/Data/Singletons/Prelude/Num.hs:42) AbsSym0 (src/Data/Singletons/Prelude/Num.hs:42) AbsSym1 (src/Data/Singletons/Prelude/Num.hs:42) SignumSym0 (src/Data/Singletons/Prelude/Num.hs:42) SignumSym1 (src/Data/Singletons/Prelude/Num.hs:42) FromIntegerSym0 (src/Data/Singletons/Prelude/Num.hs:42) FromIntegerSym1 (src/Data/Singletons/Prelude/Num.hs:42) SubtractSym0 (src/Data/Singletons/Prelude/Num.hs:127) SubtractSym1 (src/Data/Singletons/Prelude/Num.hs:127) SubtractSym2 (src/Data/Singletons/Prelude/Num.hs:127) 9% ( 30 /331) in 'Data.Promotion.Prelude' Missing documentation for: Not (src/Data/Singletons/Prelude/Bool.hs:68) :&& (src/Data/Singletons/Prelude/Bool.hs:68) :|| (src/Data/Singletons/Prelude/Bool.hs:68) Otherwise (src/Data/Singletons/Prelude/Bool.hs:68) maybe_ (src/Data/Singletons/Prelude/Maybe.hs:64) Maybe_ (src/Data/Singletons/Prelude/Maybe.hs:64) either_ (src/Data/Singletons/Prelude/Either.hs:60) Either_ (src/Data/Singletons/Prelude/Either.hs:60) Fst (src/Data/Singletons/Prelude/Tuple.hs:52) Snd (src/Data/Singletons/Prelude/Tuple.hs:52) Curry (src/Data/Singletons/Prelude/Tuple.hs:52) Uncurry (src/Data/Singletons/Prelude/Tuple.hs:52) ErrorSym0 (src/Data/Singletons/TypeLits/Internal.hs:146) Id (src/Data/Singletons/Prelude/Base.hs:55) Const (src/Data/Singletons/Prelude/Base.hs:55) :. (src/Data/Singletons/Prelude/Base.hs:55) $ (src/Data/Singletons/Prelude/Base.hs:96) $! (src/Data/Singletons/Prelude/Base.hs:113) Flip (src/Data/Singletons/Prelude/Base.hs:55) AsTypeOf (src/Data/Singletons/Prelude/Base.hs:55) Until (src/Data/Promotion/Prelude/Base.hs:48) Seq (src/Data/Singletons/Prelude/Base.hs:55) Map (src/Data/Singletons/Prelude/Base.hs:55) :++ (src/Data/Singletons/Prelude/Base.hs:55) Filter (src/Data/Singletons/Prelude/List.hs:257) Head (src/Data/Singletons/Prelude/List.hs:257) Last (src/Data/Singletons/Prelude/List.hs:257) Tail (src/Data/Singletons/Prelude/List.hs:257) Init (src/Data/Singletons/Prelude/List.hs:257) Null (src/Data/Singletons/Prelude/List.hs:257) Length (src/Data/Singletons/Prelude/List.hs:257) :!! (src/Data/Singletons/Prelude/List.hs:257) Reverse (src/Data/Singletons/Prelude/List.hs:257) Foldl (src/Data/Singletons/Prelude/Instances.hs:27) Foldl1 (src/Data/Singletons/Prelude/List.hs:257) Foldr (src/Data/Singletons/Prelude/Base.hs:55) Foldr1 (src/Data/Singletons/Prelude/List.hs:257) And (src/Data/Singletons/Prelude/List.hs:257) Or (src/Data/Singletons/Prelude/List.hs:257) any_ (src/Data/Singletons/Prelude/List.hs:251) Any_ (src/Data/Singletons/Prelude/List.hs:251) All (src/Data/Singletons/Prelude/List.hs:257) Sum (src/Data/Singletons/Prelude/List.hs:257) Product (src/Data/Singletons/Prelude/List.hs:257) Concat (src/Data/Singletons/Prelude/List.hs:257) ConcatMap (src/Data/Singletons/Prelude/List.hs:257) Maximum (src/Data/Singletons/Prelude/List.hs:257) Minimum (src/Data/Singletons/Prelude/List.hs:257) Scanl (src/Data/Singletons/Prelude/List.hs:257) Scanl1 (src/Data/Singletons/Prelude/List.hs:257) Scanr (src/Data/Singletons/Prelude/List.hs:257) Scanr1 (src/Data/Singletons/Prelude/List.hs:257) Replicate (src/Data/Singletons/Prelude/List.hs:257) Take (src/Data/Singletons/Prelude/List.hs:257) Drop (src/Data/Singletons/Prelude/List.hs:257) SplitAt (src/Data/Singletons/Prelude/List.hs:257) TakeWhile (src/Data/Singletons/Prelude/List.hs:257) DropWhile (src/Data/Singletons/Prelude/List.hs:257) Span (src/Data/Singletons/Prelude/List.hs:257) Break (src/Data/Singletons/Prelude/List.hs:257) Elem (src/Data/Singletons/Prelude/List.hs:257) NotElem (src/Data/Singletons/Prelude/List.hs:257) Lookup (src/Data/Singletons/Prelude/List.hs:257) Zip (src/Data/Singletons/Prelude/List.hs:257) Zip3 (src/Data/Singletons/Prelude/List.hs:257) ZipWith (src/Data/Singletons/Prelude/List.hs:257) ZipWith3 (src/Data/Singletons/Prelude/List.hs:257) Unzip (src/Data/Singletons/Prelude/List.hs:257) Unzip3 (src/Data/Singletons/Prelude/List.hs:257) FalseSym0 (src/Data/Singletons/Prelude/Instances.hs:22) TrueSym0 (src/Data/Singletons/Prelude/Instances.hs:22) NotSym0 (src/Data/Singletons/Prelude/Bool.hs:68) NotSym1 (src/Data/Singletons/Prelude/Bool.hs:68) :&&$ (src/Data/Singletons/Prelude/Bool.hs:68) :&&$$ (src/Data/Singletons/Prelude/Bool.hs:68) :&&$$$ (src/Data/Singletons/Prelude/Bool.hs:68) :||$ (src/Data/Singletons/Prelude/Bool.hs:68) :||$$ (src/Data/Singletons/Prelude/Bool.hs:68) :||$$$ (src/Data/Singletons/Prelude/Bool.hs:68) OtherwiseSym0 (src/Data/Singletons/Prelude/Bool.hs:68) NothingSym0 (src/Data/Singletons/Prelude/Instances.hs:22) JustSym0 (src/Data/Singletons/Prelude/Instances.hs:22) JustSym1 (src/Data/Singletons/Prelude/Instances.hs:22) Maybe_Sym0 (src/Data/Singletons/Prelude/Maybe.hs:64) Maybe_Sym1 (src/Data/Singletons/Prelude/Maybe.hs:64) Maybe_Sym2 (src/Data/Singletons/Prelude/Maybe.hs:64) Maybe_Sym3 (src/Data/Singletons/Prelude/Maybe.hs:64) LeftSym0 (src/Data/Singletons/Prelude/Instances.hs:22) LeftSym1 (src/Data/Singletons/Prelude/Instances.hs:22) RightSym0 (src/Data/Singletons/Prelude/Instances.hs:22) RightSym1 (src/Data/Singletons/Prelude/Instances.hs:22) Either_Sym0 (src/Data/Singletons/Prelude/Either.hs:60) Either_Sym1 (src/Data/Singletons/Prelude/Either.hs:60) Either_Sym2 (src/Data/Singletons/Prelude/Either.hs:60) Either_Sym3 (src/Data/Singletons/Prelude/Either.hs:60) Tuple0Sym0 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple2Sym0 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple2Sym1 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple2Sym2 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple3Sym0 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple3Sym1 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple3Sym2 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple3Sym3 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple4Sym0 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple4Sym1 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple4Sym2 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple4Sym3 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple4Sym4 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple5Sym0 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple5Sym1 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple5Sym2 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple5Sym3 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple5Sym4 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple5Sym5 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple6Sym0 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple6Sym1 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple6Sym2 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple6Sym3 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple6Sym4 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple6Sym5 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple6Sym6 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple7Sym0 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple7Sym1 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple7Sym2 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple7Sym3 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple7Sym4 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple7Sym5 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple7Sym6 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple7Sym7 (src/Data/Singletons/Prelude/Instances.hs:22) FstSym0 (src/Data/Singletons/Prelude/Tuple.hs:52) FstSym1 (src/Data/Singletons/Prelude/Tuple.hs:52) SndSym0 (src/Data/Singletons/Prelude/Tuple.hs:52) SndSym1 (src/Data/Singletons/Prelude/Tuple.hs:52) CurrySym0 (src/Data/Singletons/Prelude/Tuple.hs:52) CurrySym1 (src/Data/Singletons/Prelude/Tuple.hs:52) CurrySym2 (src/Data/Singletons/Prelude/Tuple.hs:52) CurrySym3 (src/Data/Singletons/Prelude/Tuple.hs:52) UncurrySym0 (src/Data/Singletons/Prelude/Tuple.hs:52) UncurrySym1 (src/Data/Singletons/Prelude/Tuple.hs:52) UncurrySym2 (src/Data/Singletons/Prelude/Tuple.hs:52) :^$ (src/Data/Singletons/TypeLits/Internal.hs:155) :^$$ (src/Data/Singletons/TypeLits/Internal.hs:155) IdSym0 (src/Data/Singletons/Prelude/Base.hs:55) IdSym1 (src/Data/Singletons/Prelude/Base.hs:55) ConstSym0 (src/Data/Singletons/Prelude/Base.hs:55) ConstSym1 (src/Data/Singletons/Prelude/Base.hs:55) ConstSym2 (src/Data/Singletons/Prelude/Base.hs:55) :.$ (src/Data/Singletons/Prelude/Base.hs:55) :.$$ (src/Data/Singletons/Prelude/Base.hs:55) :.$$$ (src/Data/Singletons/Prelude/Base.hs:55) $$ (src/Data/Singletons/Prelude/Base.hs:100) $$$ (src/Data/Singletons/Prelude/Base.hs:103) $$$$ (src/Data/Singletons/Prelude/Base.hs:106) $!$ (src/Data/Singletons/Prelude/Base.hs:117) $!$$ (src/Data/Singletons/Prelude/Base.hs:120) $!$$$ (src/Data/Singletons/Prelude/Base.hs:123) FlipSym0 (src/Data/Singletons/Prelude/Base.hs:55) FlipSym1 (src/Data/Singletons/Prelude/Base.hs:55) FlipSym2 (src/Data/Singletons/Prelude/Base.hs:55) AsTypeOfSym0 (src/Data/Singletons/Prelude/Base.hs:55) AsTypeOfSym1 (src/Data/Singletons/Prelude/Base.hs:55) AsTypeOfSym2 (src/Data/Singletons/Prelude/Base.hs:55) SeqSym0 (src/Data/Singletons/Prelude/Base.hs:55) SeqSym1 (src/Data/Singletons/Prelude/Base.hs:55) SeqSym2 (src/Data/Singletons/Prelude/Base.hs:55) :$ (src/Data/Singletons/Prelude/Instances.hs:22) :$$ (src/Data/Singletons/Prelude/Instances.hs:22) :$$$ (src/Data/Singletons/Prelude/Instances.hs:22) NilSym0 (src/Data/Singletons/Prelude/Instances.hs:22) MapSym0 (src/Data/Singletons/Prelude/Base.hs:55) MapSym1 (src/Data/Singletons/Prelude/Base.hs:55) MapSym2 (src/Data/Singletons/Prelude/Base.hs:55) ReverseSym0 (src/Data/Singletons/Prelude/List.hs:257) ReverseSym1 (src/Data/Singletons/Prelude/List.hs:257) :++$$ (src/Data/Singletons/Prelude/Base.hs:55) :++$ (src/Data/Singletons/Prelude/Base.hs:55) HeadSym0 (src/Data/Singletons/Prelude/List.hs:257) HeadSym1 (src/Data/Singletons/Prelude/List.hs:257) LastSym0 (src/Data/Singletons/Prelude/List.hs:257) LastSym1 (src/Data/Singletons/Prelude/List.hs:257) TailSym0 (src/Data/Singletons/Prelude/List.hs:257) TailSym1 (src/Data/Singletons/Prelude/List.hs:257) InitSym0 (src/Data/Singletons/Prelude/List.hs:257) InitSym1 (src/Data/Singletons/Prelude/List.hs:257) NullSym0 (src/Data/Singletons/Prelude/List.hs:257) NullSym1 (src/Data/Singletons/Prelude/List.hs:257) FoldlSym0 (src/Data/Singletons/Prelude/Instances.hs:27) FoldlSym1 (src/Data/Singletons/Prelude/Instances.hs:27) FoldlSym2 (src/Data/Singletons/Prelude/Instances.hs:27) FoldlSym3 (src/Data/Singletons/Prelude/Instances.hs:27) Foldl1Sym0 (src/Data/Singletons/Prelude/List.hs:257) Foldl1Sym1 (src/Data/Singletons/Prelude/List.hs:257) Foldl1Sym2 (src/Data/Singletons/Prelude/List.hs:257) FoldrSym0 (src/Data/Singletons/Prelude/Base.hs:55) FoldrSym1 (src/Data/Singletons/Prelude/Base.hs:55) FoldrSym2 (src/Data/Singletons/Prelude/Base.hs:55) FoldrSym3 (src/Data/Singletons/Prelude/Base.hs:55) Foldr1Sym0 (src/Data/Singletons/Prelude/List.hs:257) Foldr1Sym1 (src/Data/Singletons/Prelude/List.hs:257) Foldr1Sym2 (src/Data/Singletons/Prelude/List.hs:257) ConcatSym0 (src/Data/Singletons/Prelude/List.hs:257) ConcatSym1 (src/Data/Singletons/Prelude/List.hs:257) ConcatMapSym0 (src/Data/Singletons/Prelude/List.hs:257) ConcatMapSym1 (src/Data/Singletons/Prelude/List.hs:257) ConcatMapSym2 (src/Data/Singletons/Prelude/List.hs:257) MaximumBySym0 (src/Data/Singletons/Prelude/List.hs:257) MaximumBySym1 (src/Data/Singletons/Prelude/List.hs:257) MaximumBySym2 (src/Data/Singletons/Prelude/List.hs:257) MinimumBySym0 (src/Data/Singletons/Prelude/List.hs:257) MinimumBySym1 (src/Data/Singletons/Prelude/List.hs:257) MinimumBySym2 (src/Data/Singletons/Prelude/List.hs:257) AndSym0 (src/Data/Singletons/Prelude/List.hs:257) AndSym1 (src/Data/Singletons/Prelude/List.hs:257) OrSym0 (src/Data/Singletons/Prelude/List.hs:257) OrSym1 (src/Data/Singletons/Prelude/List.hs:257) Any_Sym0 (src/Data/Singletons/Prelude/List.hs:251) Any_Sym1 (src/Data/Singletons/Prelude/List.hs:251) Any_Sym2 (src/Data/Singletons/Prelude/List.hs:251) AllSym0 (src/Data/Singletons/Prelude/List.hs:257) AllSym1 (src/Data/Singletons/Prelude/List.hs:257) AllSym2 (src/Data/Singletons/Prelude/List.hs:257) ScanlSym0 (src/Data/Singletons/Prelude/List.hs:257) ScanlSym1 (src/Data/Singletons/Prelude/List.hs:257) ScanlSym2 (src/Data/Singletons/Prelude/List.hs:257) ScanlSym3 (src/Data/Singletons/Prelude/List.hs:257) Scanl1Sym0 (src/Data/Singletons/Prelude/List.hs:257) Scanl1Sym1 (src/Data/Singletons/Prelude/List.hs:257) Scanl1Sym2 (src/Data/Singletons/Prelude/List.hs:257) ScanrSym0 (src/Data/Singletons/Prelude/List.hs:257) ScanrSym1 (src/Data/Singletons/Prelude/List.hs:257) ScanrSym2 (src/Data/Singletons/Prelude/List.hs:257) ScanrSym3 (src/Data/Singletons/Prelude/List.hs:257) Scanr1Sym0 (src/Data/Singletons/Prelude/List.hs:257) Scanr1Sym1 (src/Data/Singletons/Prelude/List.hs:257) Scanr1Sym2 (src/Data/Singletons/Prelude/List.hs:257) ElemSym0 (src/Data/Singletons/Prelude/List.hs:257) ElemSym1 (src/Data/Singletons/Prelude/List.hs:257) ElemSym2 (src/Data/Singletons/Prelude/List.hs:257) NotElemSym0 (src/Data/Singletons/Prelude/List.hs:257) NotElemSym1 (src/Data/Singletons/Prelude/List.hs:257) NotElemSym2 (src/Data/Singletons/Prelude/List.hs:257) ZipSym0 (src/Data/Singletons/Prelude/List.hs:257) ZipSym1 (src/Data/Singletons/Prelude/List.hs:257) ZipSym2 (src/Data/Singletons/Prelude/List.hs:257) Zip3Sym0 (src/Data/Singletons/Prelude/List.hs:257) Zip3Sym1 (src/Data/Singletons/Prelude/List.hs:257) Zip3Sym2 (src/Data/Singletons/Prelude/List.hs:257) Zip3Sym3 (src/Data/Singletons/Prelude/List.hs:257) ZipWithSym0 (src/Data/Singletons/Prelude/List.hs:257) ZipWithSym1 (src/Data/Singletons/Prelude/List.hs:257) ZipWithSym2 (src/Data/Singletons/Prelude/List.hs:257) ZipWithSym3 (src/Data/Singletons/Prelude/List.hs:257) ZipWith3Sym0 (src/Data/Singletons/Prelude/List.hs:257) ZipWith3Sym1 (src/Data/Singletons/Prelude/List.hs:257) ZipWith3Sym2 (src/Data/Singletons/Prelude/List.hs:257) ZipWith3Sym3 (src/Data/Singletons/Prelude/List.hs:257) UnzipSym0 (src/Data/Singletons/Prelude/List.hs:257) UnzipSym1 (src/Data/Singletons/Prelude/List.hs:257) UntilSym0 (src/Data/Promotion/Prelude/Base.hs:48) UntilSym1 (src/Data/Promotion/Prelude/Base.hs:48) UntilSym2 (src/Data/Promotion/Prelude/Base.hs:48) UntilSym3 (src/Data/Promotion/Prelude/Base.hs:48) LengthSym0 (src/Data/Singletons/Prelude/List.hs:257) LengthSym1 (src/Data/Singletons/Prelude/List.hs:257) SumSym0 (src/Data/Singletons/Prelude/List.hs:257) SumSym1 (src/Data/Singletons/Prelude/List.hs:257) ProductSym0 (src/Data/Singletons/Prelude/List.hs:257) ProductSym1 (src/Data/Singletons/Prelude/List.hs:257) ReplicateSym0 (src/Data/Singletons/Prelude/List.hs:257) ReplicateSym1 (src/Data/Singletons/Prelude/List.hs:257) ReplicateSym2 (src/Data/Singletons/Prelude/List.hs:257) TakeSym0 (src/Data/Singletons/Prelude/List.hs:257) TakeSym1 (src/Data/Singletons/Prelude/List.hs:257) TakeSym2 (src/Data/Singletons/Prelude/List.hs:257) DropSym0 (src/Data/Singletons/Prelude/List.hs:257) DropSym1 (src/Data/Singletons/Prelude/List.hs:257) DropSym2 (src/Data/Singletons/Prelude/List.hs:257) SplitAtSym0 (src/Data/Singletons/Prelude/List.hs:257) SplitAtSym1 (src/Data/Singletons/Prelude/List.hs:257) SplitAtSym2 (src/Data/Singletons/Prelude/List.hs:257) TakeWhileSym0 (src/Data/Singletons/Prelude/List.hs:257) TakeWhileSym1 (src/Data/Singletons/Prelude/List.hs:257) TakeWhileSym2 (src/Data/Singletons/Prelude/List.hs:257) DropWhileSym0 (src/Data/Singletons/Prelude/List.hs:257) DropWhileSym1 (src/Data/Singletons/Prelude/List.hs:257) DropWhileSym2 (src/Data/Singletons/Prelude/List.hs:257) SpanSym0 (src/Data/Singletons/Prelude/List.hs:257) SpanSym1 (src/Data/Singletons/Prelude/List.hs:257) SpanSym2 (src/Data/Singletons/Prelude/List.hs:257) BreakSym0 (src/Data/Singletons/Prelude/List.hs:257) BreakSym1 (src/Data/Singletons/Prelude/List.hs:257) BreakSym2 (src/Data/Singletons/Prelude/List.hs:257) LookupSym0 (src/Data/Singletons/Prelude/List.hs:257) LookupSym1 (src/Data/Singletons/Prelude/List.hs:257) LookupSym2 (src/Data/Singletons/Prelude/List.hs:257) FilterSym0 (src/Data/Singletons/Prelude/List.hs:257) FilterSym1 (src/Data/Singletons/Prelude/List.hs:257) FilterSym2 (src/Data/Singletons/Prelude/List.hs:257) :!!$ (src/Data/Singletons/Prelude/List.hs:257) :!!$$ (src/Data/Singletons/Prelude/List.hs:257) :!!$$$ (src/Data/Singletons/Prelude/List.hs:257) 40% ( 31 / 77) in 'Data.Promotion.TH' Missing documentation for: :&& (src/Data/Singletons/Prelude/Bool.hs:68) POrd (src/Data/Singletons/Prelude/Ord.hs:46) ThenCmp (src/Data/Singletons/Prelude/Ord.hs:76) Foldl (src/Data/Singletons/Prelude/Instances.hs:27) ErrorSym0 (src/Data/Singletons/TypeLits/Internal.hs:146) TrueSym0 (src/Data/Singletons/Prelude/Instances.hs:22) FalseSym0 (src/Data/Singletons/Prelude/Instances.hs:22) LTSym0 (src/Data/Singletons/Prelude/Instances.hs:22) EQSym0 (src/Data/Singletons/Prelude/Instances.hs:22) GTSym0 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple0Sym0 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple2Sym0 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple2Sym1 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple2Sym2 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple3Sym0 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple3Sym1 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple3Sym2 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple3Sym3 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple4Sym0 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple4Sym1 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple4Sym2 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple4Sym3 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple4Sym4 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple5Sym0 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple5Sym1 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple5Sym2 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple5Sym3 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple5Sym4 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple5Sym5 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple6Sym0 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple6Sym1 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple6Sym2 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple6Sym3 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple6Sym4 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple6Sym5 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple6Sym6 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple7Sym0 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple7Sym1 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple7Sym2 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple7Sym3 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple7Sym4 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple7Sym5 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple7Sym6 (src/Data/Singletons/Prelude/Instances.hs:22) Tuple7Sym7 (src/Data/Singletons/Prelude/Instances.hs:22) ThenCmpSym0 (src/Data/Singletons/Prelude/Ord.hs:76) FoldlSym0 (src/Data/Singletons/Prelude/Instances.hs:27) Warning: Data.Singletons: could not find link destinations for: TFCo:R:SingBoolz SFalse STrue TFCo:R:SingOrderingz SLT SEQ SGT TFCo:R:Sing*a STypeRep TFCo:R:SingNatn SNat TFCo:R:SingSymboln SSym TFCo:R:Sing()z STuple0 TFCo:R:Sing[]z SNil SCons TFCo:R:SingMaybez SNothing SJust TFCo:R:Sing(->)f SLambda applySing TFCo:R:SingEitherz SLeft SRight TFCo:R:Sing(,)z STuple2 TFCo:R:Sing(,,)z STuple3 TFCo:R:Sing(,,,)z STuple4 TFCo:R:Sing(,,,,)z STuple5 TFCo:R:Sing(,,,,,)z STuple6 TFCo:R:Sing(,,,,,,)z STuple7 Warning: Data.Singletons.Decide: could not find link destinations for: D1Void Warning: Data.Singletons.Prelude.Bool: could not find link destinations for: TFCo:R:SingBoolz SFalse STrue TFCo:R:SingOrderingz SLT SEQ SGT TFCo:R:Sing*a STypeRep TFCo:R:SingNatn SNat TFCo:R:SingSymboln SSym TFCo:R:Sing()z STuple0 TFCo:R:Sing[]z SNil SCons TFCo:R:SingMaybez SNothing SJust TFCo:R:Sing(->)f SLambda applySing TFCo:R:SingEitherz SLeft SRight TFCo:R:Sing(,)z STuple2 TFCo:R:Sing(,,)z STuple3 TFCo:R:Sing(,,,)z STuple4 TFCo:R:Sing(,,,,)z STuple5 TFCo:R:Sing(,,,,,)z STuple6 TFCo:R:Sing(,,,,,,)z STuple7 Warning: Data.Singletons.Prelude.Ord: could not find link destinations for: Compare_1627566600Sym0 TFHelper_1627566633Sym0 TFHelper_1627566666Sym0 TFHelper_1627566699Sym0 TFHelper_1627566732Sym0 Max_1627566765Sym0 Min_1627566798Sym0 TFCo:R:SingBoolz SFalse STrue TFCo:R:SingOrderingz SLT SEQ SGT TFCo:R:Sing*a STypeRep TFCo:R:SingNatn SNat TFCo:R:SingSymboln SSym TFCo:R:Sing()z STuple0 TFCo:R:Sing[]z SNil SCons TFCo:R:SingMaybez SNothing SJust TFCo:R:Sing(->)f SLambda applySing TFCo:R:SingEitherz SLeft SRight TFCo:R:Sing(,)z STuple2 TFCo:R:Sing(,,)z STuple3 TFCo:R:Sing(,,,)z STuple4 TFCo:R:Sing(,,,,)z STuple5 TFCo:R:Sing(,,,,,)z STuple6 TFCo:R:Sing(,,,,,,)z STuple7 Warning: Data.Promotion.Prelude.Ord: could not find link destinations for: Compare_1627566600Sym0 TFHelper_1627566633Sym0 TFHelper_1627566666Sym0 TFHelper_1627566699Sym0 TFHelper_1627566732Sym0 Max_1627566765Sym0 Min_1627566798Sym0 Warning: Data.Singletons.TypeRepStar: could not find link destinations for: TFCo:R:SingBoolz SFalse STrue TFCo:R:SingOrderingz SLT SEQ SGT TFCo:R:Sing*a STypeRep TFCo:R:SingNatn SNat TFCo:R:SingSymboln SSym TFCo:R:Sing()z STuple0 TFCo:R:Sing[]z SNil SCons TFCo:R:SingMaybez SNothing SJust TFCo:R:Sing(->)f SLambda applySing TFCo:R:SingEitherz SLeft SRight TFCo:R:Sing(,)z STuple2 TFCo:R:Sing(,,)z STuple3 TFCo:R:Sing(,,,)z STuple4 TFCo:R:Sing(,,,,)z STuple5 TFCo:R:Sing(,,,,,)z STuple6 TFCo:R:Sing(,,,,,,)z STuple7 Warning: Data.Singletons.Prelude.Base: could not find link destinations for: Let1627631724GoSym3 Lambda_1627631621Sym0 Warning: Data.Singletons.Prelude.Num: could not find link destinations for: TFHelper_1627645712Sym0 Negate_1627645727Sym0 Warning: Data.Singletons.TypeLits: could not find link destinations for: TFCo:R:SingNatn SNat EqNat TFCo:R:SingSymboln SSym EqSymbol natSing symbolSing Warning: Data.Singletons.TH: could not find link destinations for: TFCo:R:SingBoolz SFalse STrue TFCo:R:SingOrderingz SLT SEQ SGT TFCo:R:Sing*a STypeRep TFCo:R:SingNatn SNat TFCo:R:SingSymboln SSym TFCo:R:Sing()z STuple0 TFCo:R:Sing[]z SNil SCons TFCo:R:SingMaybez SNothing SJust TFCo:R:Sing(->)f SLambda applySing TFCo:R:SingEitherz SLeft SRight TFCo:R:Sing(,)z STuple2 TFCo:R:Sing(,,)z STuple3 TFCo:R:Sing(,,,)z STuple4 TFCo:R:Sing(,,,,)z STuple5 TFCo:R:Sing(,,,,,)z STuple6 TFCo:R:Sing(,,,,,,)z STuple7 Compare_1627566600Sym0 TFHelper_1627566633Sym0 TFHelper_1627566666Sym0 TFHelper_1627566699Sym0 TFHelper_1627566732Sym0 Max_1627566765Sym0 Min_1627566798Sym0 Let1627532338LgoSym3 D1Void D1Proxy C1_0Proxy Warning: Data.Singletons.Prelude.Either: could not find link destinations for: TFCo:R:SingBoolz SFalse STrue TFCo:R:SingOrderingz SLT SEQ SGT TFCo:R:Sing*a STypeRep TFCo:R:SingNatn SNat TFCo:R:SingSymboln SSym TFCo:R:Sing()z STuple0 TFCo:R:Sing[]z SNil SCons TFCo:R:SingMaybez SNothing SJust TFCo:R:Sing(->)f SLambda applySing TFCo:R:SingEitherz SLeft SRight TFCo:R:Sing(,)z STuple2 TFCo:R:Sing(,,)z STuple3 TFCo:R:Sing(,,,)z STuple4 TFCo:R:Sing(,,,,)z STuple5 TFCo:R:Sing(,,,,,)z STuple6 TFCo:R:Sing(,,,,,,)z STuple7 Let1627654355LeftSym1 Let1627654355RightSym1 PartitionEithersSym0 Warning: Data.Promotion.Prelude.Either: could not find link destinations for: Let1627654355LeftSym1 Let1627654355RightSym1 Warning: Data.Singletons.Prelude.Tuple: could not find link destinations for: TFCo:R:SingBoolz SFalse STrue TFCo:R:SingOrderingz SLT SEQ SGT TFCo:R:Sing*a STypeRep TFCo:R:SingNatn SNat TFCo:R:SingSymboln SSym TFCo:R:Sing()z STuple0 TFCo:R:Sing[]z SNil SCons TFCo:R:SingMaybez SNothing SJust TFCo:R:Sing(->)f SLambda applySing TFCo:R:SingEitherz SLeft SRight TFCo:R:Sing(,)z STuple2 TFCo:R:Sing(,,)z STuple3 TFCo:R:Sing(,,,)z STuple4 TFCo:R:Sing(,,,,)z STuple5 TFCo:R:Sing(,,,,,)z STuple6 TFCo:R:Sing(,,,,,,)z STuple7 Warning: Data.Promotion.Prelude.Base: could not find link destinations for: Let1627631724GoSym3 Lambda_1627631621Sym0 Let1627665812GoSym3 Warning: Data.Singletons.Prelude.Maybe: could not find link destinations for: TFCo:R:SingBoolz SFalse STrue TFCo:R:SingOrderingz SLT SEQ SGT TFCo:R:Sing*a STypeRep TFCo:R:SingNatn SNat TFCo:R:SingSymboln SSym TFCo:R:Sing()z STuple0 TFCo:R:Sing[]z SNil SCons TFCo:R:SingMaybez SNothing SJust TFCo:R:Sing(->)f SLambda applySing TFCo:R:SingEitherz SLeft SRight TFCo:R:Sing(,)z STuple2 TFCo:R:Sing(,,)z STuple3 TFCo:R:Sing(,,,)z STuple4 TFCo:R:Sing(,,,,)z STuple5 TFCo:R:Sing(,,,,,)z STuple6 TFCo:R:Sing(,,,,,,)z STuple7 Case_1627668944 Case_1627668909 Let1627668896Scrutinee_1627668866Sym3 Warning: Data.Promotion.Prelude.Maybe: could not find link destinations for: Case_1627668944 Case_1627668909 Let1627668896Scrutinee_1627668866Sym3 Warning: Data.Singletons.Prelude.Enum: could not find link destinations for: Succ_1627682105Sym0 Pred_1627682118Sym0 EnumFromTo_1627682136Sym0 EnumFromThenTo_1627682166Sym0 Warning: Data.Promotion.Prelude.Enum: could not find link destinations for: Succ_1627682105Sym0 Pred_1627682118Sym0 EnumFromTo_1627682136Sym0 EnumFromThenTo_1627682166Sym0 Warning: Data.Singletons.Prelude.List: could not find link destinations for: TFCo:R:SingBoolz SFalse STrue TFCo:R:SingOrderingz SLT SEQ SGT TFCo:R:Sing*a STypeRep TFCo:R:SingNatn SNat TFCo:R:SingSymboln SSym TFCo:R:Sing()z STuple0 TFCo:R:Sing[]z SNil SCons TFCo:R:SingMaybez SNothing SJust TFCo:R:Sing(->)f SLambda applySing TFCo:R:SingEitherz SLeft SRight TFCo:R:Sing(,)z STuple2 TFCo:R:Sing(,,)z STuple3 TFCo:R:Sing(,,,)z STuple4 TFCo:R:Sing(,,,,)z STuple5 TFCo:R:Sing(,,,,,)z STuple6 TFCo:R:Sing(,,,,,,)z STuple7 Let1627752072Init'Sym2 Let1627751967RevSym1 PrependToAllSym0 NonEmptySubsequencesSym0 Let1627751520PermsSym1 Let1627532338LgoSym3 Let1627751434LgoSym3 Let1627631724GoSym3 Let1627751177XsSym4 Let1627748949Sum'Sym1 Let1627748925ProdSym1 Let1627751394XsSym2 Let1627751408XsSym2 Case_1627751093 Case_1627751070 Let1627751051Scrutinee_1627748657Sym4 Case_1627751023 Let1627751004Scrutinee_1627748659Sym4 Let1627750816S''Sym4 Let1627750816YSym4 Let1627750816YsSym4 Let1627750644S''Sym4 Let1627750644YSym4 Let1627750644YsSym4 Case_1627748909 Let1627748901Scrutinee_1627748745Sym2 Case_1627750616 Let1627750608Scrutinee_1627748665Sym2 Case_1627749115 Let1627749102Scrutinee_1627748729Sym3 Case_1627749084 Let1627749071Scrutinee_1627748731Sym3 Case_1627749488 Let1627749475Scrutinee_1627748719Sym3 Case_1627749457 Let1627749444Scrutinee_1627748721Sym3 Lambda_1627752020Sym0 Let1627749246XsSym1 Case_1627749279 Let1627749266Scrutinee_1627748725Sym3 Let1627749141XsSym1 Case_1627749174 Let1627749161Scrutinee_1627748727Sym3 Case_1627750592 Case_1627750569 Case_1627749053 Let1627749034Scrutinee_1627748741Sym4 Case_1627749517 Let1627749504Scrutinee_1627748707Sym3 SelectSym0 Case_1627748887 Let1627748874Scrutinee_1627748747Sym3 Lambda_1627750399Sym0 Let1627750370BuildListSym2 Lambda_1627750089Sym0 Lambda_1627750057Sym0 Lambda_1627750023Sym0 Lambda_1627749987Sym0 Lambda_1627749949Sym0 Lambda_1627749909Sym0 Let1627750496Nub'Sym1 Let1627748803NubBy'Sym2 Case_1627749816 Let1627749797Scrutinee_1627748691Sym4 Lambda_1627749625Sym0 Let1627749574XsSym5 Let1627749354YsSym3 Let1627749354ZsSym3 Case_1627749738 Let1627749719Scrutinee_1627748693Sym4 Let1627751242MaxBySym3 Let1627751229XsSym3 Let1627751329MinBySym3 Let1627751316XsSym3 Warning: Data.Singletons.Prelude: could not find link destinations for: TFCo:R:SingBoolz SFalse STrue TFCo:R:SingOrderingz SLT SEQ SGT TFCo:R:Sing*a STypeRep TFCo:R:SingNatn SNat TFCo:R:SingSymboln SSym TFCo:R:Sing()z STuple0 TFCo:R:Sing[]z SNil SCons TFCo:R:SingMaybez SNothing SJust TFCo:R:Sing(->)f SLambda applySing TFCo:R:SingEitherz SLeft SRight TFCo:R:Sing(,)z STuple2 TFCo:R:Sing(,,)z STuple3 TFCo:R:Sing(,,,)z STuple4 TFCo:R:Sing(,,,,)z STuple5 TFCo:R:Sing(,,,,,)z STuple6 TFCo:R:Sing(,,,,,,)z STuple7 Lambda_1627631621Sym0 Let1627752072Init'Sym2 Let1627751967RevSym1 Let1627532338LgoSym3 Let1627631724GoSym3 Let1627751177XsSym4 Case_1627751093 Case_1627751070 Let1627751051Scrutinee_1627748657Sym4 Case_1627751023 Let1627751004Scrutinee_1627748659Sym4 Lambda_1627750089Sym0 Lambda_1627750057Sym0 EqSymbol Warning: Data.Promotion.Prelude.List: could not find link destinations for: Let1627752072Init'Sym2 Let1627751967RevSym1 PrependToAllSym0 NonEmptySubsequencesSym0 Let1627751520PermsSym1 Let1627532338LgoSym3 Let1627751434LgoSym3 Let1627631724GoSym3 Let1627751177XsSym4 Let1627748949Sum'Sym1 Let1627748925ProdSym1 Let1627751394XsSym2 Let1627751408XsSym2 Case_1627751093 Case_1627751070 Let1627751051Scrutinee_1627748657Sym4 Case_1627751023 Let1627751004Scrutinee_1627748659Sym4 Let1627750816S''Sym4 Let1627750816YSym4 Let1627750816YsSym4 Let1627750644S''Sym4 Let1627750644YSym4 Let1627750644YsSym4 Case_1627748909 Let1627748901Scrutinee_1627748745Sym2 Case_1627750616 Let1627750608Scrutinee_1627748665Sym2 Case_1627749115 Let1627749102Scrutinee_1627748729Sym3 Case_1627749084 Let1627749071Scrutinee_1627748731Sym3 Case_1627749488 Let1627749475Scrutinee_1627748719Sym3 Case_1627749457 Let1627749444Scrutinee_1627748721Sym3 Lambda_1627752020Sym0 Let1627749246XsSym1 Case_1627749279 Let1627749266Scrutinee_1627748725Sym3 Let1627749141XsSym1 Case_1627749174 Let1627749161Scrutinee_1627748727Sym3 Case_1627970733 Case_1627750592 Case_1627750569 Case_1627749053 Let1627749034Scrutinee_1627748741Sym4 Case_1627749517 Let1627749504Scrutinee_1627748707Sym3 SelectSym0 Case_1627748887 Let1627748874Scrutinee_1627748747Sym3 Lambda_1627750399Sym0 Let1627750370BuildListSym2 Lambda_1627750089Sym0 Lambda_1627750057Sym0 Lambda_1627750023Sym0 Lambda_1627749987Sym0 Lambda_1627749949Sym0 Lambda_1627749909Sym0 Let1627750496Nub'Sym1 Let1627748803NubBy'Sym2 Case_1627749816 Let1627749797Scrutinee_1627748691Sym4 Let1627749354YsSym3 Let1627749354ZsSym3 Lambda_1627749625Sym0 Let1627749574XsSym5 Case_1627749738 Let1627749719Scrutinee_1627748693Sym4 Let1627751242MaxBySym3 Let1627751229XsSym3 Let1627751329MinBySym3 Let1627751316XsSym3 Warning: Data.Promotion.Prelude.Num: could not find link destinations for: TFHelper_1627645712Sym0 Negate_1627645727Sym0 Warning: Data.Promotion.Prelude: could not find link destinations for: TFCo:R:SingSymboln SSym EqSymbol Lambda_1627631621Sym0 Let1627665812GoSym3 Case_1627749517 Let1627749504Scrutinee_1627748707Sym3 Let1627752072Init'Sym2 Case_1627748887 Let1627748874Scrutinee_1627748747Sym3 Let1627751967RevSym1 Let1627532338LgoSym3 Let1627631724GoSym3 Let1627751177XsSym4 Let1627748949Sum'Sym1 Let1627748925ProdSym1 Let1627751394XsSym2 Let1627751408XsSym2 Case_1627751093 Case_1627751070 Let1627751051Scrutinee_1627748657Sym4 Case_1627751023 Let1627751004Scrutinee_1627748659Sym4 Case_1627748909 Let1627748901Scrutinee_1627748745Sym2 Case_1627749115 Let1627749102Scrutinee_1627748729Sym3 Case_1627749084 Let1627749071Scrutinee_1627748731Sym3 Case_1627749488 Let1627749475Scrutinee_1627748719Sym3 Case_1627749457 Let1627749444Scrutinee_1627748721Sym3 Let1627749246XsSym1 Case_1627749279 Let1627749266Scrutinee_1627748725Sym3 Let1627749141XsSym1 Case_1627749174 Let1627749161Scrutinee_1627748727Sym3 Case_1627749053 Let1627749034Scrutinee_1627748741Sym4 Lambda_1627750089Sym0 Lambda_1627750057Sym0 D1Proxy C1_0Proxy Warning: Data.Promotion.TH: could not find link destinations for: TFCo:R:Sing(->)f SLambda applySing Compare_1627566600Sym0 TFHelper_1627566633Sym0 TFHelper_1627566666Sym0 TFHelper_1627566699Sym0 TFHelper_1627566732Sym0 Max_1627566765Sym0 Min_1627566798Sym0 D1Proxy C1_0Proxy Let1627532338LgoSym3 Documentation created: dist/doc/html/singletons/index.html, dist/doc/html/singletons/singletons.txt cabal: '/opt/ghc/7.10.2/bin/ghc' exited with an error: : cannot satisfy -package-id th-desugar-1.5.5-077f5804765250151a2ba6072a5e3647 (use -v for more information) Failed to install singletons-2.0.1 cabal: Error: some packages failed to install: equational-reasoning-0.2.0.7 depends on singletons-2.0.1 which failed to install. singletons-2.0.1 failed during the final install step. The exception was: ExitFailure 1 sized-vector-1.4.3.0 depends on singletons-2.0.1 which failed to install. type-natural-0.3.0.0 depends on singletons-2.0.1 which failed to install.