Hackage :: [Package]

• Search 
• Browse
• What's new
• Upload
• User accounts

Build #1 for inline-r-0.8.0.0

[all reports]

Package	inline-r-0.8.0.0

Install	ConfigureFailed
Docs	NotTried
Tests	NotTried

Time submitted	2016-01-24 22:24:47.062296 UTC
Compiler	ghc-7.10.2
OS	linux
Arch	x86_64
Dependencies	vector-0.11.0.0, unix-2.7.1.0, transformers-0.4.2.0, th-orphans-0.13.0, th-lift-0.7.6, text-1.2.2.0, template-haskell-2.10.0.0, singletons-2.0.1, setenv-0.1.1.3, reflection-2.1.1.1, process-1.2.3.0, primitive-0.6.1.0, pretty-1.1.2.0, mtl-2.2.1, exceptions-0.8.2.1, deepseq-1.4.1.1, data-default-class-0.0.1, containers-0.5.6.2, bytestring-0.10.6.0, base-4.8.1.0, aeson-0.8.1.1
Flags	none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
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/dist-sandbox-9df84abc/build/Safe/Util.o )
[2 of 4] Compiling Safe.Exact       ( Safe/Exact.hs, dist/dist-sandbox-9df84abc/build/Safe/Exact.o )
[3 of 4] Compiling Safe.Foldable    ( Safe/Foldable.hs, dist/dist-sandbox-9df84abc/build/Safe/Foldable.o )
[4 of 4] Compiling Safe             ( Safe.hs, dist/dist-sandbox-9df84abc/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/dist-sandbox-9df84abc/doc/html/safe/index.html,
dist/dist-sandbox-9df84abc/doc/html/safe/safe.txt
Creating package registration file: /tmp/pkgConf-safe-0.3278722862233665123.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 setenv-0.1.1.3...
Building setenv-0.1.1.3...
Preprocessing library setenv-0.1.1.3...
[1 of 1] Compiling System.SetEnv    ( src/System/SetEnv.hs, dist/dist-sandbox-9df84abc/build/System/SetEnv.o )
In-place registering setenv-0.1.1.3...
Running Haddock for setenv-0.1.1.3...
Running hscolour for setenv-0.1.1.3...
Preprocessing library setenv-0.1.1.3...
Preprocessing library setenv-0.1.1.3...
Haddock coverage:
  67% (  2 /  3) in 'System.SetEnv'
  Missing documentation for:
    Module header
Documentation created: dist/dist-sandbox-9df84abc/doc/html/setenv/index.html,
dist/dist-sandbox-9df84abc/doc/html/setenv/setenv.txt
Creating package registration file:
/tmp/pkgConf-setenv-0.1.11194953865894429689.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/setenv-0.1.1.3-AuHTDNoaveDAxwtvx7iZhq
Registering setenv-0.1.1.3...
Installed setenv-0.1.1.3
Configuring th-expand-syns-0.3.0.6...
Building th-expand-syns-0.3.0.6...
Preprocessing library th-expand-syns-0.3.0.6...
[1 of 1] Compiling Language.Haskell.TH.ExpandSyns ( Language/Haskell/TH/ExpandSyns.hs, dist/dist-sandbox-9df84abc/build/Language/Haskell/TH/ExpandSyns.o )
In-place registering th-expand-syns-0.3.0.6...
Running Haddock for th-expand-syns-0.3.0.6...
Running hscolour for th-expand-syns-0.3.0.6...
Preprocessing library th-expand-syns-0.3.0.6...
Preprocessing library th-expand-syns-0.3.0.6...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: syb-0.6
Haddock coverage:
  88% (  7 /  8) in 'Language.Haskell.TH.ExpandSyns'
  Missing documentation for:
    Module header
Documentation created:
dist/dist-sandbox-9df84abc/doc/html/th-expand-syns/index.html,
dist/dist-sandbox-9df84abc/doc/html/th-expand-syns/th-expand-syns.txt
Creating package registration file:
/tmp/pkgConf-th-expand-syns-0.3.07711514321186452551.6
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/th-expand-syns-0.3.0.6-2KwkCxh24850VpZjHwVPTk
Registering th-expand-syns-0.3.0.6...
Installed th-expand-syns-0.3.0.6
Configuring th-lift-0.7.6...
Building th-lift-0.7.6...
Preprocessing library th-lift-0.7.6...
[1 of 1] Compiling Language.Haskell.TH.Lift ( src/Language/Haskell/TH/Lift.hs, dist/dist-sandbox-9df84abc/build/Language/Haskell/TH/Lift.o )
In-place registering th-lift-0.7.6...
Running Haddock for th-lift-0.7.6...
Running hscolour for th-lift-0.7.6...
Preprocessing library th-lift-0.7.6...
Preprocessing library th-lift-0.7.6...
Haddock coverage:
  62% (  5 /  8) in 'Language.Haskell.TH.Lift'
  Missing documentation for:
    Module header
    deriveLiftMany' (src/Language/Haskell/TH/Lift.hs:60)
    Lift
Documentation created: dist/dist-sandbox-9df84abc/doc/html/th-lift/index.html,
dist/dist-sandbox-9df84abc/doc/html/th-lift/th-lift.txt
Creating package registration file:
/tmp/pkgConf-th-lift-0.71529195746392035568.6
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/th-lift-0.7.6-4Xfl8r1ElVf6Tdnphnk0d8
Registering th-lift-0.7.6...
Installed th-lift-0.7.6
Configuring th-reify-many-0.1.4...
Building th-reify-many-0.1.4...
Preprocessing library th-reify-many-0.1.4...
[1 of 2] Compiling Language.Haskell.TH.ReifyMany.Internal ( src/Language/Haskell/TH/ReifyMany/Internal.hs, dist/dist-sandbox-9df84abc/build/Language/Haskell/TH/ReifyMany/Internal.o )
[2 of 2] Compiling Language.Haskell.TH.ReifyMany ( src/Language/Haskell/TH/ReifyMany.hs, dist/dist-sandbox-9df84abc/build/Language/Haskell/TH/ReifyMany.o )

src/Language/Haskell/TH/ReifyMany.hs:100:9: Warning:
    In the use of ‘report’
    (imported from Language.Haskell.TH, but defined in Language.Haskell.TH.Syntax):
    Deprecated: "Use reportError or reportWarning instead"
In-place registering th-reify-many-0.1.4...
Running Haddock for th-reify-many-0.1.4...
Running hscolour for th-reify-many-0.1.4...
Preprocessing library th-reify-many-0.1.4...
Preprocessing library th-reify-many-0.1.4...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: mtl-2.2.1, syb-0.6

src/Language/Haskell/TH/ReifyMany.hs:100:9: Warning:
    In the use of ‘report’
    (imported from Language.Haskell.TH, but defined in Language.Haskell.TH.Syntax):
    Deprecated: "Use reportError or reportWarning instead"
Haddock coverage:
  92% ( 11 / 12) in 'Language.Haskell.TH.ReifyMany.Internal'
  Missing documentation for:
    Module header
 100% (  4 /  4) in 'Language.Haskell.TH.ReifyMany'
Documentation created:
dist/dist-sandbox-9df84abc/doc/html/th-reify-many/index.html,
dist/dist-sandbox-9df84abc/doc/html/th-reify-many/th-reify-many.txt
Creating package registration file:
/tmp/pkgConf-th-reify-many-0.11065103348625032172.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/th-reify-many-0.1.4-4mfLervdoAYLB1zG4f1fgJ
Registering th-reify-many-0.1.4...
Installed th-reify-many-0.1.4
Configuring th-orphans-0.13.0...
Building th-orphans-0.13.0...
Preprocessing library th-orphans-0.13.0...
[1 of 1] Compiling Language.Haskell.TH.Instances ( src/Language/Haskell/TH/Instances.hs, dist/dist-sandbox-9df84abc/build/Language/Haskell/TH/Instances.o )

src/Language/Haskell/TH/Instances.hs:57:1: Warning:
    The import of ‘Data.Monoid’ is redundant
      except perhaps to import instances from ‘Data.Monoid’
    To import instances alone, use: import Data.Monoid()
In-place registering th-orphans-0.13.0...
Running Haddock for th-orphans-0.13.0...
Running hscolour for th-orphans-0.13.0...
Preprocessing library th-orphans-0.13.0...
Preprocessing library th-orphans-0.13.0...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: mtl-2.2.1, syb-0.6

src/Language/Haskell/TH/Instances.hs:57:1: Warning:
    The import of ‘Data.Monoid’ is redundant
      except perhaps to import instances from ‘Data.Monoid’
    To import instances alone, use: import Data.Monoid()
Haddock coverage:
 100% (  1 /  1) in 'Language.Haskell.TH.Instances'
Documentation created:
dist/dist-sandbox-9df84abc/doc/html/th-orphans/index.html,
dist/dist-sandbox-9df84abc/doc/html/th-orphans/th-orphans.txt
Creating package registration file:
/tmp/pkgConf-th-orphans-0.131857962504201690613.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/th-orphans-0.13.0-HiUxuAUdFxXBNNemI9IdT3
Registering th-orphans-0.13.0...
Installed th-orphans-0.13.0
Configuring th-desugar-1.5.5...
Building th-desugar-1.5.5...
Preprocessing library th-desugar-1.5.5...
[1 of 8] Compiling Language.Haskell.TH.Desugar.Util ( Language/Haskell/TH/Desugar/Util.hs, dist/dist-sandbox-9df84abc/build/Language/Haskell/TH/Desugar/Util.o )
[2 of 8] Compiling Language.Haskell.TH.Desugar.Reify ( Language/Haskell/TH/Desugar/Reify.hs, dist/dist-sandbox-9df84abc/build/Language/Haskell/TH/Desugar/Reify.o )
[3 of 8] Compiling Language.Haskell.TH.Desugar.Core ( Language/Haskell/TH/Desugar/Core.hs, dist/dist-sandbox-9df84abc/build/Language/Haskell/TH/Desugar/Core.o )
[4 of 8] Compiling Language.Haskell.TH.Desugar.Match ( Language/Haskell/TH/Desugar/Match.hs, dist/dist-sandbox-9df84abc/build/Language/Haskell/TH/Desugar/Match.o )
[5 of 8] Compiling Language.Haskell.TH.Desugar.Sweeten ( Language/Haskell/TH/Desugar/Sweeten.hs, dist/dist-sandbox-9df84abc/build/Language/Haskell/TH/Desugar/Sweeten.o )
[6 of 8] Compiling Language.Haskell.TH.Desugar.Expand ( Language/Haskell/TH/Desugar/Expand.hs, dist/dist-sandbox-9df84abc/build/Language/Haskell/TH/Desugar/Expand.o )
[7 of 8] Compiling Language.Haskell.TH.Desugar ( Language/Haskell/TH/Desugar.hs, dist/dist-sandbox-9df84abc/build/Language/Haskell/TH/Desugar.o )
[8 of 8] Compiling Language.Haskell.TH.Desugar.Lift ( Language/Haskell/TH/Desugar/Lift.hs, dist/dist-sandbox-9df84abc/build/Language/Haskell/TH/Desugar/Lift.o )
In-place registering th-desugar-1.5.5...
Running Haddock for th-desugar-1.5.5...
Running hscolour for th-desugar-1.5.5...
Preprocessing library th-desugar-1.5.5...
Preprocessing library th-desugar-1.5.5...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: mtl-2.2.1, syb-0.6
Haddock coverage:
  66% ( 21 / 32) in 'Language.Haskell.TH.Desugar.Util'
  Missing documentation for:
    Module header
    mapMaybeM (Language/Haskell/TH/Desugar/Util.hs:260)
    expectJustM (Language/Haskell/TH/Desugar/Util.hs:269)
    liftSndM (Language/Haskell/TH/Desugar/Util.hs:238)
    liftThdOf3M (Language/Haskell/TH/Desugar/Util.hs:247)
    liftSnd (Language/Haskell/TH/Desugar/Util.hs:235)
    liftThdOf3 (Language/Haskell/TH/Desugar/Util.hs:244)
    splitAtList (Language/Haskell/TH/Desugar/Util.hs:228)
    freeNamesOfTypes (Language/Haskell/TH/Desugar/Util.hs:206)
    thdOf3 (Language/Haskell/TH/Desugar/Util.hs:241)
    firstMatch (Language/Haskell/TH/Desugar/Util.hs:273)
  93% ( 13 / 14) in 'Language.Haskell.TH.Desugar.Reify'
  Missing documentation for:
    Module header
  86% ( 63 / 73) in 'Language.Haskell.TH.Desugar.Core'
  Missing documentation for:
    Module header
    DInstanceDec (Language/Haskell/TH/Desugar/Core.hs:192)
    mk_tuple_stmt (Language/Haskell/TH/Desugar/Core.hs:469)
    mk_tuple_pat (Language/Haskell/TH/Desugar/Core.hs:474)
    fixBug8884ForFamilies (Language/Haskell/TH/Desugar/Core.hs:589)
    fixBug8884ForInstances (Language/Haskell/TH/Desugar/Core.hs:613)
    fixBug8884ForEqn (Language/Haskell/TH/Desugar/Core.hs:618)
    reorderFields (Language/Haskell/TH/Desugar/Core.hs:908)
    reorderFieldsPat (Language/Haskell/TH/Desugar/Core.hs:911)
    reorderFields' (Language/Haskell/TH/Desugar/Core.hs:915)
  67% (  2 /  3) in 'Language.Haskell.TH.Desugar.Match'
  Missing documentation for:
    Module header
  12% (  2 / 17) in 'Language.Haskell.TH.Desugar.Sweeten'
  Missing documentation for:
    expToTH (Language/Haskell/TH/Desugar/Sweeten.hs:42)
    matchToTH (Language/Haskell/TH/Desugar/Sweeten.hs:57)
    patToTH (Language/Haskell/TH/Desugar/Sweeten.hs:60)
    decsToTH (Language/Haskell/TH/Desugar/Sweeten.hs:68)
    letDecToTH (Language/Haskell/TH/Desugar/Sweeten.hs:117)
    typeToTH (Language/Haskell/TH/Desugar/Sweeten.hs:172)
    kindToTH (Language/Haskell/TH/Desugar/Sweeten.hs:209)
    conToTH (Language/Haskell/TH/Desugar/Sweeten.hs:123)
    foreignToTH (Language/Haskell/TH/Desugar/Sweeten.hs:131)
    pragmaToTH (Language/Haskell/TH/Desugar/Sweeten.hs:136)
    ruleBndrToTH (Language/Haskell/TH/Desugar/Sweeten.hs:154)
    clauseToTH (Language/Haskell/TH/Desugar/Sweeten.hs:169)
    tvbToTH (Language/Haskell/TH/Desugar/Sweeten.hs:181)
    cxtToTH (Language/Haskell/TH/Desugar/Sweeten.hs:185)
    predToTH (Language/Haskell/TH/Desugar/Sweeten.hs:188)
 100% (  8 /  8) in 'Language.Haskell.TH.Desugar.Expand'
  98% ( 99 /101) in 'Language.Haskell.TH.Desugar'
  Missing documentation for:
    DInstanceDec (Language/Haskell/TH/Desugar/Core.hs:192)
    AnnTarget
 100% (  1 /  1) in 'Language.Haskell.TH.Desugar.Lift'
Warning: Language.Haskell.TH.Desugar: could not find link destinations for:
    D1Role C1_0Role C1_1Role C1_2Role C1_3Role D1AnnTarget C1_0AnnTarget C1_1AnnTarget C1_2AnnTarget
Documentation created:
dist/dist-sandbox-9df84abc/doc/html/th-desugar/index.html,
dist/dist-sandbox-9df84abc/doc/html/th-desugar/th-desugar.txt
Creating package registration file:
/tmp/pkgConf-th-desugar-1.5119270755631308902.5
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/th-desugar-1.5.5-2Gl0aaL93iLDapR7wS2Ed9
Registering th-desugar-1.5.5...
Installed th-desugar-1.5.5
Configuring singletons-2.0.1...
Building singletons-2.0.1...
Preprocessing library singletons-2.0.1...
[ 1 of 50] Compiling Data.Singletons.SuppressUnusedWarnings ( src/Data/Singletons/SuppressUnusedWarnings.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/SuppressUnusedWarnings.o )
[ 2 of 50] Compiling Data.Singletons.Syntax ( src/Data/Singletons/Syntax.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/Syntax.o )
[ 3 of 50] Compiling Data.Singletons.Util ( src/Data/Singletons/Util.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/Util.o )
[ 4 of 50] Compiling Data.Singletons.Deriving.Infer ( src/Data/Singletons/Deriving/Infer.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/Deriving/Infer.o )
[ 5 of 50] Compiling Data.Singletons  ( src/Data/Singletons.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons.o )
[ 6 of 50] Compiling Data.Singletons.Decide ( src/Data/Singletons/Decide.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/Decide.o )
[ 7 of 50] Compiling Data.Singletons.Names ( src/Data/Singletons/Names.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/Names.o )
[ 8 of 50] Compiling Data.Singletons.Deriving.Ord ( src/Data/Singletons/Deriving/Ord.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/Deriving/Ord.o )
[ 9 of 50] Compiling Data.Singletons.Promote.Monad ( src/Data/Singletons/Promote/Monad.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/Promote/Monad.o )
[10 of 50] Compiling Data.Singletons.Single.Monad ( src/Data/Singletons/Single/Monad.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/Single/Monad.o )
[11 of 50] Compiling Data.Singletons.Deriving.Bounded ( src/Data/Singletons/Deriving/Bounded.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/Deriving/Bounded.o )
[12 of 50] Compiling Data.Singletons.Deriving.Enum ( src/Data/Singletons/Deriving/Enum.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/Deriving/Enum.o )
[13 of 50] Compiling Data.Singletons.Promote.Eq ( src/Data/Singletons/Promote/Eq.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/Promote/Eq.o )
[14 of 50] Compiling Data.Singletons.Promote.Type ( src/Data/Singletons/Promote/Type.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/Promote/Type.o )
[15 of 50] Compiling Data.Singletons.Promote.Defun ( src/Data/Singletons/Promote/Defun.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/Promote/Defun.o )
[16 of 50] Compiling Data.Singletons.Partition ( src/Data/Singletons/Partition.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/Partition.o )
[17 of 50] Compiling Data.Singletons.Promote ( src/Data/Singletons/Promote.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/Promote.o )
[18 of 50] Compiling Data.Singletons.Single.Type ( src/Data/Singletons/Single/Type.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/Single/Type.o )
[19 of 50] Compiling Data.Singletons.Single.Eq ( src/Data/Singletons/Single/Eq.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/Single/Eq.o )
[20 of 50] Compiling Data.Singletons.Single.Data ( src/Data/Singletons/Single/Data.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/Single/Data.o )
[21 of 50] Compiling Data.Singletons.Single ( src/Data/Singletons/Single.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/Single.o )
[22 of 50] Compiling Data.Singletons.Prelude.Instances ( src/Data/Singletons/Prelude/Instances.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/Prelude/Instances.o )
[23 of 50] Compiling Data.Singletons.Prelude.Bool ( src/Data/Singletons/Prelude/Bool.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/Prelude/Bool.o )
[24 of 50] Compiling Data.Singletons.Prelude.Eq ( src/Data/Singletons/Prelude/Eq.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/Prelude/Eq.o )
[25 of 50] Compiling Data.Singletons.CustomStar ( src/Data/Singletons/CustomStar.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/CustomStar.o )
[26 of 50] Compiling Data.Promotion.Prelude.Eq ( src/Data/Promotion/Prelude/Eq.hs, dist/dist-sandbox-9df84abc/build/Data/Promotion/Prelude/Eq.o )
[27 of 50] Compiling Data.Promotion.Prelude.Bool ( src/Data/Promotion/Prelude/Bool.hs, dist/dist-sandbox-9df84abc/build/Data/Promotion/Prelude/Bool.o )
[28 of 50] Compiling Data.Singletons.Prelude.Ord ( src/Data/Singletons/Prelude/Ord.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/Prelude/Ord.o )
[29 of 50] Compiling Data.Promotion.Prelude.Ord ( src/Data/Promotion/Prelude/Ord.hs, dist/dist-sandbox-9df84abc/build/Data/Promotion/Prelude/Ord.o )
[30 of 50] Compiling Data.Singletons.TypeRepStar ( src/Data/Singletons/TypeRepStar.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/TypeRepStar.o )
[31 of 50] Compiling Data.Singletons.Prelude.Base ( src/Data/Singletons/Prelude/Base.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/Prelude/Base.o )
[32 of 50] Compiling Data.Singletons.TypeLits.Internal ( src/Data/Singletons/TypeLits/Internal.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/TypeLits/Internal.o )
[33 of 50] Compiling Data.Singletons.Prelude.Num ( src/Data/Singletons/Prelude/Num.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/Prelude/Num.o )
[34 of 50] Compiling Data.Singletons.TypeLits ( src/Data/Singletons/TypeLits.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/TypeLits.o )
[35 of 50] Compiling Data.Singletons.TH ( src/Data/Singletons/TH.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/TH.o )
[36 of 50] Compiling Data.Singletons.Prelude.Either ( src/Data/Singletons/Prelude/Either.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/Prelude/Either.o )
[37 of 50] Compiling Data.Promotion.Prelude.Either ( src/Data/Promotion/Prelude/Either.hs, dist/dist-sandbox-9df84abc/build/Data/Promotion/Prelude/Either.o )
[38 of 50] Compiling Data.Singletons.Prelude.Tuple ( src/Data/Singletons/Prelude/Tuple.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/Prelude/Tuple.o )
[39 of 50] Compiling Data.Promotion.Prelude.Tuple ( src/Data/Promotion/Prelude/Tuple.hs, dist/dist-sandbox-9df84abc/build/Data/Promotion/Prelude/Tuple.o )
[40 of 50] Compiling Data.Promotion.Prelude.Base ( src/Data/Promotion/Prelude/Base.hs, dist/dist-sandbox-9df84abc/build/Data/Promotion/Prelude/Base.o )
[41 of 50] Compiling Data.Singletons.Prelude.Maybe ( src/Data/Singletons/Prelude/Maybe.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/Prelude/Maybe.o )
[42 of 50] Compiling Data.Promotion.Prelude.Maybe ( src/Data/Promotion/Prelude/Maybe.hs, dist/dist-sandbox-9df84abc/build/Data/Promotion/Prelude/Maybe.o )
[43 of 50] Compiling Data.Singletons.Prelude.Enum ( src/Data/Singletons/Prelude/Enum.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/Prelude/Enum.o )
[44 of 50] Compiling Data.Promotion.Prelude.Enum ( src/Data/Promotion/Prelude/Enum.hs, dist/dist-sandbox-9df84abc/build/Data/Promotion/Prelude/Enum.o )
[45 of 50] Compiling Data.Singletons.Prelude.List ( src/Data/Singletons/Prelude/List.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/Prelude/List.o )
[46 of 50] Compiling Data.Singletons.Prelude ( src/Data/Singletons/Prelude.hs, dist/dist-sandbox-9df84abc/build/Data/Singletons/Prelude.o )
[47 of 50] Compiling Data.Promotion.Prelude.List ( src/Data/Promotion/Prelude/List.hs, dist/dist-sandbox-9df84abc/build/Data/Promotion/Prelude/List.o )
[48 of 50] Compiling Data.Promotion.Prelude.Num ( src/Data/Promotion/Prelude/Num.hs, dist/dist-sandbox-9df84abc/build/Data/Promotion/Prelude/Num.o )
[49 of 50] Compiling Data.Promotion.Prelude ( src/Data/Promotion/Prelude.hs, dist/dist-sandbox-9df84abc/build/Data/Promotion/Prelude.o )
[50 of 50] Compiling Data.Promotion.TH ( src/Data/Promotion/TH.hs, dist/dist-sandbox-9df84abc/build/Data/Promotion/TH.o )
In-place registering singletons-2.0.1...
Running Haddock for singletons-2.0.1...
Running hscolour for singletons-2.0.1...
Preprocessing library singletons-2.0.1...
Preprocessing library singletons-2.0.1...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: mtl-2.2.1, syb-0.6
Haddock coverage:
  50% (  1 /  2) in 'Data.Singletons.SuppressUnusedWarnings'
  Missing documentation for:
    Module header
   0% (  0 / 30) in 'Data.Singletons.Syntax'
  Missing documentation for:
    Module header
    VarPromotions (src/Data/Singletons/Syntax.hs:22)
    DataDecl (src/Data/Singletons/Syntax.hs:25)
    ClassDecl (src/Data/Singletons/Syntax.hs:27)
    InstDecl (src/Data/Singletons/Syntax.hs:33)
    UClassDecl (src/Data/Singletons/Syntax.hs:38)
    UInstDecl (src/Data/Singletons/Syntax.hs:39)
    AClassDecl (src/Data/Singletons/Syntax.hs:41)
    AInstDecl (src/Data/Singletons/Syntax.hs:42)
    ADExp (src/Data/Singletons/Syntax.hs:53)
    ADMatch (src/Data/Singletons/Syntax.hs:68)
    ADClause (src/Data/Singletons/Syntax.hs:69)
    AnnotationFlag (src/Data/Singletons/Syntax.hs:72)
    Annotated (src/Data/Singletons/Syntax.hs:75)
    Unannotated (src/Data/Singletons/Syntax.hs:76)
    IfAnn (src/Data/Singletons/Syntax.hs:78)
    LetDecRHS (src/Data/Singletons/Syntax.hs:82)
     (src/Data/Singletons/Syntax.hs:83)
     (src/Data/Singletons/Syntax.hs:90)
    ALetDecRHS (src/Data/Singletons/Syntax.hs:93)
    ULetDecRHS (src/Data/Singletons/Syntax.hs:94)
    LetDecEnv (src/Data/Singletons/Syntax.hs:96)
    ALetDecEnv (src/Data/Singletons/Syntax.hs:102)
    ULetDecEnv (src/Data/Singletons/Syntax.hs:103)
     (src/Data/Singletons/Syntax.hs:105)
    valueBinding (src/Data/Singletons/Syntax.hs:110)
    typeBinding (src/Data/Singletons/Syntax.hs:113)
    infixDecl (src/Data/Singletons/Syntax.hs:116)
    emptyLetDecEnv (src/Data/Singletons/Syntax.hs:119)
    buildLetDecEnv (src/Data/Singletons/Syntax.hs:122)
   2% (  1 / 66) in 'Data.Singletons.Util'
  Missing documentation for:
    Module header
    basicTypes (src/Data/Singletons/Util.hs:31)
    boundedBasicTypes (src/Data/Singletons/Util.hs:37)
    enumBasicTypes (src/Data/Singletons/Util.hs:47)
    qReportWarning (src/Data/Singletons/Util.hs:51)
    qReportError (src/Data/Singletons/Util.hs:55)
    checkForRep (src/Data/Singletons/Util.hs:66)
    checkForRepInDecls (src/Data/Singletons/Util.hs:73)
    tysOfConFields (src/Data/Singletons/Util.hs:77)
    extractNameArgs (src/Data/Singletons/Util.hs:82)
    extractNameTypes (src/Data/Singletons/Util.hs:86)
    extractName (src/Data/Singletons/Util.hs:89)
    isUpcase (src/Data/Singletons/Util.hs:93)
    upcase (src/Data/Singletons/Util.hs:97)
    toUpcaseStr (src/Data/Singletons/Util.hs:101)
    noPrefix (src/Data/Singletons/Util.hs:123)
    locase (src/Data/Singletons/Util.hs:127)
    prefixUCName (src/Data/Singletons/Util.hs:137)
    prefixLCName (src/Data/Singletons/Util.hs:144)
    suffixName (src/Data/Singletons/Util.hs:152)
    uniquePrefixes (src/Data/Singletons/Util.hs:161)
    extractTvbKind (src/Data/Singletons/Util.hs:186)
    extractTvbName (src/Data/Singletons/Util.hs:191)
    tvbToType (src/Data/Singletons/Util.hs:195)
    inferMaybeKindTV (src/Data/Singletons/Util.hs:198)
    unravel (src/Data/Singletons/Util.hs:204)
    ravel (src/Data/Singletons/Util.hs:214)
    countArgs (src/Data/Singletons/Util.hs:219)
    substKind (src/Data/Singletons/Util.hs:223)
    substType (src/Data/Singletons/Util.hs:234)
    substPred (src/Data/Singletons/Util.hs:252)
    substKindInType (src/Data/Singletons/Util.hs:260)
    substKindInPred (src/Data/Singletons/Util.hs:276)
    substKindInTvb (src/Data/Singletons/Util.hs:285)
    addStar (src/Data/Singletons/Util.hs:289)
    addStar_maybe (src/Data/Singletons/Util.hs:292)
    foldType (src/Data/Singletons/Util.hs:296)
    foldExp (src/Data/Singletons/Util.hs:300)
    isVarK (src/Data/Singletons/Util.hs:304)
    isFunTy (src/Data/Singletons/Util.hs:309)
    orIfEmpty (src/Data/Singletons/Util.hs:315)
    emptyMatches (src/Data/Singletons/Util.hs:319)
    multiCase (src/Data/Singletons/Util.hs:324)
    wrapDesugar (src/Data/Singletons/Util.hs:330)
    QWithAux (src/Data/Singletons/Util.hs:336)
     (src/Data/Singletons/Util.hs:341)
     (src/Data/Singletons/Util.hs:363)
    comp1 (src/Data/Singletons/Util.hs:367)
    comp2 (src/Data/Singletons/Util.hs:370)
    evalWithoutAux (src/Data/Singletons/Util.hs:374)
    evalForAux (src/Data/Singletons/Util.hs:378)
    evalForPair (src/Data/Singletons/Util.hs:383)
    addBinding (src/Data/Singletons/Util.hs:387)
    addElement (src/Data/Singletons/Util.hs:391)
    concatMapM (src/Data/Singletons/Util.hs:396)
    listify (src/Data/Singletons/Util.hs:403)
    fstOf3 (src/Data/Singletons/Util.hs:406)
    liftFst (src/Data/Singletons/Util.hs:409)
    liftSnd (src/Data/Singletons/Util.hs:412)
    snocView (src/Data/Singletons/Util.hs:415)
    partitionWith (src/Data/Singletons/Util.hs:420)
    partitionWithM (src/Data/Singletons/Util.hs:428)
    partitionLetDecs (src/Data/Singletons/Util.hs:437)
    mapAndUnzip3M (src/Data/Singletons/Util.hs:441)
    isHsLetter (src/Data/Singletons/Util.hs:449)
  50% (  1 /  2) in 'Data.Singletons.Deriving.Infer'
  Missing documentation for:
    inferConstraints (src/Data/Singletons/Deriving/Infer.hs:21)
  53% ( 32 / 60) in 'Data.Singletons'
  Missing documentation for:
    TyCon3 (src/Data/Singletons.hs:160)
    TyCon4 (src/Data/Singletons.hs:161)
    TyCon5 (src/Data/Singletons.hs:162)
    TyCon6 (src/Data/Singletons.hs:163)
    TyCon7 (src/Data/Singletons.hs:164)
    TyCon8 (src/Data/Singletons.hs:165)
    singFun2 (src/Data/Singletons.hs:211)
    singFun3 (src/Data/Singletons.hs:215)
    singFun4 (src/Data/Singletons.hs:219)
    singFun5 (src/Data/Singletons.hs:223)
    singFun6 (src/Data/Singletons.hs:227)
    singFun7 (src/Data/Singletons.hs:231)
    singFun8 (src/Data/Singletons.hs:235)
    unSingFun2 (src/Data/Singletons.hs:243)
    unSingFun3 (src/Data/Singletons.hs:246)
    unSingFun4 (src/Data/Singletons.hs:249)
    unSingFun5 (src/Data/Singletons.hs:252)
    unSingFun6 (src/Data/Singletons.hs:255)
    unSingFun7 (src/Data/Singletons.hs:258)
    unSingFun8 (src/Data/Singletons.hs:261)
    SingFunction1 (src/Data/Singletons.hs:196)
    SingFunction2 (src/Data/Singletons.hs:210)
    SingFunction3 (src/Data/Singletons.hs:214)
    SingFunction4 (src/Data/Singletons.hs:218)
    SingFunction5 (src/Data/Singletons.hs:222)
    SingFunction6 (src/Data/Singletons.hs:226)
    SingFunction7 (src/Data/Singletons.hs:230)
    SingFunction8 (src/Data/Singletons.hs:234)
 100% (  8 /  8) in 'Data.Singletons.Decide'
   0% (  0 / 98) in 'Data.Singletons.Names'
  Missing documentation for:
    Module header
    anyTypeName (src/Data/Singletons/Names.hs:25)
    boolName (src/Data/Singletons/Names.hs:25)
    andName (src/Data/Singletons/Names.hs:25)
    tyEqName (src/Data/Singletons/Names.hs:25)
    compareName (src/Data/Singletons/Names.hs:25)
    minBoundName (src/Data/Singletons/Names.hs:25)
    maxBoundName (src/Data/Singletons/Names.hs:25)
    repName (src/Data/Singletons/Names.hs:25)
    nilName (src/Data/Singletons/Names.hs:25)
    consName (src/Data/Singletons/Names.hs:25)
    listName (src/Data/Singletons/Names.hs:25)
    tyFunName (src/Data/Singletons/Names.hs:25)
    applyName (src/Data/Singletons/Names.hs:25)
    natName (src/Data/Singletons/Names.hs:25)
    symbolName (src/Data/Singletons/Names.hs:25)
    undefinedName (src/Data/Singletons/Names.hs:25)
    typeRepName (src/Data/Singletons/Names.hs:25)
    stringName (src/Data/Singletons/Names.hs:25)
    eqName (src/Data/Singletons/Names.hs:25)
    ordName (src/Data/Singletons/Names.hs:25)
    boundedName (src/Data/Singletons/Names.hs:25)
    orderingName (src/Data/Singletons/Names.hs:25)
    singFamilyName (src/Data/Singletons/Names.hs:25)
    singIName (src/Data/Singletons/Names.hs:25)
    singMethName (src/Data/Singletons/Names.hs:25)
    demoteRepName (src/Data/Singletons/Names.hs:25)
    singKindClassName (src/Data/Singletons/Names.hs:25)
    sEqClassName (src/Data/Singletons/Names.hs:25)
    sEqMethName (src/Data/Singletons/Names.hs:25)
    sconsName (src/Data/Singletons/Names.hs:25)
    snilName (src/Data/Singletons/Names.hs:25)
    sIfName (src/Data/Singletons/Names.hs:25)
    kProxyDataName (src/Data/Singletons/Names.hs:25)
    kProxyTypeName (src/Data/Singletons/Names.hs:25)
    proxyTypeName (src/Data/Singletons/Names.hs:25)
    proxyDataName (src/Data/Singletons/Names.hs:25)
    someSingTypeName (src/Data/Singletons/Names.hs:25)
    someSingDataName (src/Data/Singletons/Names.hs:25)
    sListName (src/Data/Singletons/Names.hs:25)
    sDecideClassName (src/Data/Singletons/Names.hs:25)
    sDecideMethName (src/Data/Singletons/Names.hs:25)
    provedName (src/Data/Singletons/Names.hs:25)
    disprovedName (src/Data/Singletons/Names.hs:25)
    reflName (src/Data/Singletons/Names.hs:25)
    toSingName (src/Data/Singletons/Names.hs:25)
    fromSingName (src/Data/Singletons/Names.hs:25)
    equalityName (src/Data/Singletons/Names.hs:25)
    applySingName (src/Data/Singletons/Names.hs:25)
    suppressClassName (src/Data/Singletons/Names.hs:25)
    suppressMethodName (src/Data/Singletons/Names.hs:25)
    thenCmpName (src/Data/Singletons/Names.hs:25)
    kindOfName (src/Data/Singletons/Names.hs:25)
    tyFromIntegerName (src/Data/Singletons/Names.hs:25)
    tyNegateName (src/Data/Singletons/Names.hs:25)
    sFromIntegerName (src/Data/Singletons/Names.hs:25)
    sNegateName (src/Data/Singletons/Names.hs:25)
    errorName (src/Data/Singletons/Names.hs:25)
    foldlName (src/Data/Singletons/Names.hs:25)
    cmpEQName (src/Data/Singletons/Names.hs:25)
    cmpLTName (src/Data/Singletons/Names.hs:25)
    cmpGTName (src/Data/Singletons/Names.hs:25)
    singletonsToEnumName (src/Data/Singletons/Names.hs:25)
    singletonsFromEnumName (src/Data/Singletons/Names.hs:25)
    enumName (src/Data/Singletons/Names.hs:25)
    singletonsEnumName (src/Data/Singletons/Names.hs:25)
    equalsName (src/Data/Singletons/Names.hs:25)
    singPkg (src/Data/Singletons/Names.hs:109)
    mk_name_tc (src/Data/Singletons/Names.hs:112)
    mk_name_d (src/Data/Singletons/Names.hs:115)
    mk_name_v (src/Data/Singletons/Names.hs:118)
    mkTupleTypeName (src/Data/Singletons/Names.hs:121)
    mkTupleDataName (src/Data/Singletons/Names.hs:125)
    promoteValNameLhs (src/Data/Singletons/Names.hs:131)
    promoteValNameLhsPrefix (src/Data/Singletons/Names.hs:135)
    promoteValRhs (src/Data/Singletons/Names.hs:140)
    promoteTySym (src/Data/Singletons/Names.hs:152)
    promoteClassName (src/Data/Singletons/Names.hs:172)
    classTvsName (src/Data/Singletons/Names.hs:177)
    mkTyName (src/Data/Singletons/Names.hs:180)
    falseTySym (src/Data/Singletons/Names.hs:186)
    trueTySym (src/Data/Singletons/Names.hs:189)
    boolKi (src/Data/Singletons/Names.hs:192)
    andTySym (src/Data/Singletons/Names.hs:195)
    singDataConName (src/Data/Singletons/Names.hs:200)
    singTyConName (src/Data/Singletons/Names.hs:208)
    singClassName (src/Data/Singletons/Names.hs:215)
    singValName (src/Data/Singletons/Names.hs:218)
    kindParam (src/Data/Singletons/Names.hs:225)
    proxyFor (src/Data/Singletons/Names.hs:228)
    singFamily (src/Data/Singletons/Names.hs:231)
    singKindConstraint (src/Data/Singletons/Names.hs:234)
    demote (src/Data/Singletons/Names.hs:237)
    apply (src/Data/Singletons/Names.hs:240)
    mkListE (src/Data/Singletons/Names.hs:243)
    foldApply (src/Data/Singletons/Names.hs:249)
    mkEqPred (src/Data/Singletons/Names.hs:253)
    mkKProxies (src/Data/Singletons/Names.hs:257)
 100% (  2 /  2) in 'Data.Singletons.Deriving.Ord'
   0% (  0 / 13) in 'Data.Singletons.Promote.Monad'
  Missing documentation for:
    Module header
    PrM (src/Data/Singletons/Promote/Monad.hs:45)
    promoteM (src/Data/Singletons/Promote/Monad.hs:95)
    promoteM_ (src/Data/Singletons/Promote/Monad.hs:102)
    promoteMDecs (src/Data/Singletons/Promote/Monad.hs:108)
    VarPromotions (src/Data/Singletons/Syntax.hs:22)
    allLocals (src/Data/Singletons/Promote/Monad.hs:53)
    emitDecs (src/Data/Singletons/Promote/Monad.hs:64)
    emitDecsM (src/Data/Singletons/Promote/Monad.hs:67)
    lambdaBind (src/Data/Singletons/Promote/Monad.hs:74)
    LetBind (src/Data/Singletons/Promote/Monad.hs:82)
    letBind (src/Data/Singletons/Promote/Monad.hs:83)
    lookupVarE (src/Data/Singletons/Promote/Monad.hs:88)
   0% (  0 / 13) in 'Data.Singletons.Single.Monad'
  Missing documentation for:
    Module header
    SgM (src/Data/Singletons/Single/Monad.hs:46)
    bindLets (src/Data/Singletons/Single/Monad.hs:81)
    bindTyVars (src/Data/Singletons/Single/Monad.hs:159)
    bindTyVarsEq (src/Data/Singletons/Single/Monad.hs:137)
    lookupVarE (src/Data/Singletons/Single/Monad.hs:162)
    lookupConE (src/Data/Singletons/Single/Monad.hs:165)
    wrapSingFun (src/Data/Singletons/Single/Monad.hs:184)
    wrapUnSingFun (src/Data/Singletons/Single/Monad.hs:199)
    singM (src/Data/Singletons/Single/Monad.hs:214)
    singDecsM (src/Data/Singletons/Single/Monad.hs:221)
    emitDecs (src/Data/Singletons/Promote/Monad.hs:64)
    emitDecsM (src/Data/Singletons/Promote/Monad.hs:67)
  50% (  1 /  2) in 'Data.Singletons.Deriving.Bounded'
  Missing documentation for:
    mkBoundedInstance (src/Data/Singletons/Deriving/Bounded.hs:27)
  50% (  1 /  2) in 'Data.Singletons.Deriving.Enum'
  Missing documentation for:
    mkEnumInstance (src/Data/Singletons/Deriving/Enum.hs:25)
   0% (  0 /  2) in 'Data.Singletons.Promote.Eq'
  Missing documentation for:
    Module header
    mkEqTypeInstance (src/Data/Singletons/Promote/Eq.hs:20)
   0% (  0 /  3) in 'Data.Singletons.Promote.Type'
  Missing documentation for:
    Module header
    promoteType (src/Data/Singletons/Promote/Type.hs:18)
    promoteUnraveled (src/Data/Singletons/Promote/Type.hs:52)
   0% (  0 / 10) in 'Data.Singletons.Promote.Defun'
  Missing documentation for:
    Module header
    defunInfo (src/Data/Singletons/Promote/Defun.hs:21)
    buildDefunSyms (src/Data/Singletons/Promote/Defun.hs:31)
    buildDefunSymsDataD (src/Data/Singletons/Promote/Defun.hs:49)
    defunctionalize (src/Data/Singletons/Promote/Defun.hs:97)
    buildTyFun (src/Data/Singletons/Promote/Defun.hs:166)
    buildTyFun_maybe (src/Data/Singletons/Promote/Defun.hs:169)
    tyFunArity (src/Data/Singletons/Promote/Defun.hs:176)
    isTyFun (src/Data/Singletons/Promote/Defun.hs:183)
    ravelTyFun (src/Data/Singletons/Promote/Defun.hs:190)
  29% (  2 /  7) in 'Data.Singletons.Partition'
  Missing documentation for:
    PartitionedDecs (src/Data/Singletons/Partition.hs:31)
     (src/Data/Singletons/Partition.hs:38)
    partitionDec (src/Data/Singletons/Partition.hs:48)
    partitionClassDec (src/Data/Singletons/Partition.hs:92)
    partitionInstanceDec (src/Data/Singletons/Partition.hs:104)
  39% ( 12 / 31) in 'Data.Singletons.Promote'
  Missing documentation for:
    Module header
    promoteInstance (src/Data/Singletons/Promote.hs:108)
    promoteInfo (src/Data/Singletons/Promote.hs:119)
    promoteDecs (src/Data/Singletons/Promote.hs:165)
    promoteDataDecs (src/Data/Singletons/Promote.hs:181)
    promoteLetDecs (src/Data/Singletons/Promote.hs:195)
    promoteDataDec (src/Data/Singletons/Promote.hs:222)
    promoteClassDec (src/Data/Singletons/Promote.hs:234)
    promoteInstanceDec (src/Data/Singletons/Promote.hs:287)
    promoteMethod (src/Data/Singletons/Promote.hs:324)
    promoteLetDecEnv (src/Data/Singletons/Promote.hs:367)
    promoteInfixDecl (src/Data/Singletons/Promote.hs:391)
    promoteLetDecRHS (src/Data/Singletons/Promote.hs:399)
    promoteClause (src/Data/Singletons/Promote.hs:469)
    promoteMatch (src/Data/Singletons/Promote.hs:479)
    promotePat (src/Data/Singletons/Promote.hs:491)
    promoteExp (src/Data/Singletons/Promote.hs:522)
    promoteLitExp (src/Data/Singletons/Promote.hs:574)
    promoteLitPat (src/Data/Singletons/Promote.hs:583)
   0% (  0 /  4) in 'Data.Singletons.Single.Type'
  Missing documentation for:
    Module header
    singType (src/Data/Singletons/Single/Type.hs:19)
    singPred (src/Data/Singletons/Single/Type.hs:39)
    singPredRec (src/Data/Singletons/Single/Type.hs:42)
   0% (  0 /  7) in 'Data.Singletons.Single.Eq'
  Missing documentation for:
    Module header
    EqualityClassDesc (src/Data/Singletons/Single/Eq.hs:19)
    sEqClassDesc (src/Data/Singletons/Single/Eq.hs:20)
    sDecideClassDesc (src/Data/Singletons/Single/Eq.hs:20)
    mkEqualityInstance (src/Data/Singletons/Single/Eq.hs:25)
    mkEqMethClause (src/Data/Singletons/Single/Eq.hs:50)
    mkDecideMethClause (src/Data/Singletons/Single/Eq.hs:76)
   0% (  0 /  3) in 'Data.Singletons.Single.Data'
  Missing documentation for:
    Module header
    singDataD (src/Data/Singletons/Single/Data.hs:26)
    singCtor (src/Data/Singletons/Single/Data.hs:107)
  42% ( 15 / 36) in 'Data.Singletons.Single'
  Missing documentation for:
    Module header
    singEqualityInstance (src/Data/Singletons/Single.hs:130)
    singInstance (src/Data/Singletons/Single.hs:168)
    singInfo (src/Data/Singletons/Single.hs:182)
    singTopLevelDecs (src/Data/Singletons/Single.hs:192)
    buildDataLets (src/Data/Singletons/Single.hs:220)
    buildMethLets (src/Data/Singletons/Single.hs:238)
    singClassD (src/Data/Singletons/Single.hs:247)
    singInstD (src/Data/Singletons/Single.hs:293)
    singLetDecEnv (src/Data/Singletons/Single.hs:340)
    singInfixDecl (src/Data/Singletons/Single.hs:358)
    singTySig (src/Data/Singletons/Single.hs:367)
    singLetDecRHS (src/Data/Singletons/Single.hs:409)
    singClause (src/Data/Singletons/Single.hs:424)
    PatternContext (src/Data/Singletons/Single.hs:454)
    checkIfBrainWillExplode (src/Data/Singletons/Single.hs:459)
    singPat (src/Data/Singletons/Single.hs:475)
    singExp (src/Data/Singletons/Single.hs:527)
    isException (src/Data/Singletons/Single.hs:556)
    singMatch (src/Data/Singletons/Single.hs:568)
    singLit (src/Data/Singletons/Single.hs:584)
   0% (  0 /210) in 'Data.Singletons.Prelude.Instances'
  Missing documentation for:
    Module header
    NothingSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
    JustSym1 (src/Data/Singletons/Prelude/Instances.hs:22)
    JustSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
    SMaybe (src/Data/Singletons/Prelude/Instances.hs:22)
    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)
    SList (src/Data/Singletons/Prelude/Instances.hs:22)
    LeftSym1 (src/Data/Singletons/Prelude/Instances.hs:22)
    LeftSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
    RightSym1 (src/Data/Singletons/Prelude/Instances.hs:22)
    RightSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
    SEither (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple2Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple2Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple2Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
    STuple2 (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple3Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple3Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple3Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple3Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
    STuple3 (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple4Sym4 (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple4Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple4Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple4Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple4Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
    STuple4 (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple5Sym5 (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple5Sym4 (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple5Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple5Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple5Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple5Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
    STuple5 (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple6Sym6 (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple6Sym5 (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple6Sym4 (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple6Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple6Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple6Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple6Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
    STuple6 (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple7Sym7 (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple7Sym6 (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple7Sym5 (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple7Sym4 (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple7Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple7Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple7Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple7Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
    STuple7 (src/Data/Singletons/Prelude/Instances.hs:22)
    FalseSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
    TrueSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
    SBool (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)
    SOrdering (src/Data/Singletons/Prelude/Instances.hs:22)
    Tuple0Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
    STuple0 (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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/Instances.hs:22)
     (src/Data/Singletons/Prelude/Instances.hs:22)
     (src/Data/Singletons/Prelude/Instances.hs:22)
     (src/Data/Singletons/Prelude/Instances.hs:23)
     (src/Data/Singletons/Prelude/Instances.hs:23)
     (src/Data/Singletons/Prelude/Instances.hs:23)
     (src/Data/Singletons/Prelude/Instances.hs:23)
     (src/Data/Singletons/Prelude/Instances.hs:23)
     (src/Data/Singletons/Prelude/Instances.hs:23)
     (src/Data/Singletons/Prelude/Instances.hs:23)
     (src/Data/Singletons/Prelude/Instances.hs:23)
     (src/Data/Singletons/Prelude/Instances.hs:23)
     (src/Data/Singletons/Prelude/Instances.hs:23)
     (src/Data/Singletons/Prelude/Instances.hs:23)
     (src/Data/Singletons/Prelude/Instances.hs:23)
    Let1627533128Lgo (src/Data/Singletons/Prelude/Instances.hs:27)
    Let1627533128LgoSym3 (src/Data/Singletons/Prelude/Instances.hs:27)
    Let1627533128LgoSym4 (src/Data/Singletons/Prelude/Instances.hs:27)
    Let1627533128LgoSym5 (src/Data/Singletons/Prelude/Instances.hs:27)
    Let1627533128LgoSym2 (src/Data/Singletons/Prelude/Instances.hs:27)
    Let1627533128LgoSym1 (src/Data/Singletons/Prelude/Instances.hs:27)
    Let1627533128LgoSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
    Foldl (src/Data/Singletons/Prelude/Instances.hs:27)
    FoldlSym3 (src/Data/Singletons/Prelude/Instances.hs:27)
    FoldlSym2 (src/Data/Singletons/Prelude/Instances.hs:27)
    FoldlSym1 (src/Data/Singletons/Prelude/Instances.hs:27)
    FoldlSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
     (src/Data/Singletons/Prelude/Instances.hs:27)
     (src/Data/Singletons/Prelude/Instances.hs:27)
     (src/Data/Singletons/Prelude/Instances.hs:27)
     (src/Data/Singletons/Prelude/Instances.hs:27)
     (src/Data/Singletons/Prelude/Instances.hs:27)
     (src/Data/Singletons/Prelude/Instances.hs:27)
     (src/Data/Singletons/Prelude/Instances.hs:27)
     (src/Data/Singletons/Prelude/Instances.hs:27)
     (src/Data/Singletons/Prelude/Instances.hs:27)
     (src/Data/Singletons/Prelude/Instances.hs:27)
     (src/Data/Singletons/Prelude/Instances.hs:27)
     (src/Data/Singletons/Prelude/Instances.hs:27)
     (src/Data/Singletons/Prelude/Instances.hs:27)
     (src/Data/Singletons/Prelude/Instances.hs:27)
     (src/Data/Singletons/Prelude/Instances.hs:27)
     (src/Data/Singletons/Prelude/Instances.hs:27)
    sFoldl (src/Data/Singletons/Prelude/Instances.hs:27)
  29% ( 11 / 38) in 'Data.Singletons.Prelude.Bool'
  Missing documentation for:
    SBool (src/Data/Singletons/Prelude/Instances.hs:22)
    Not (src/Data/Singletons/Prelude/Bool.hs:68)
    sNot (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)
    bool_ (src/Data/Singletons/Prelude/Bool.hs:62)
    Bool_ (src/Data/Singletons/Prelude/Bool.hs:62)
    sBool_ (src/Data/Singletons/Prelude/Bool.hs:62)
    Otherwise (src/Data/Singletons/Prelude/Bool.hs:68)
    sOtherwise (src/Data/Singletons/Prelude/Bool.hs:68)
    TrueSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
    FalseSym0 (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)
    Bool_Sym0 (src/Data/Singletons/Prelude/Bool.hs:62)
    Bool_Sym1 (src/Data/Singletons/Prelude/Bool.hs:62)
    Bool_Sym2 (src/Data/Singletons/Prelude/Bool.hs:62)
    Bool_Sym3 (src/Data/Singletons/Prelude/Bool.hs:62)
    OtherwiseSym0 (src/Data/Singletons/Prelude/Bool.hs:68)
  33% (  3 /  9) in 'Data.Singletons.Prelude.Eq'
  Missing documentation for:
    :==$ (src/Data/Singletons/Prelude/Eq.hs:46)
    :==$$ (src/Data/Singletons/Prelude/Eq.hs:46)
    :==$$$ (src/Data/Singletons/Prelude/Eq.hs:46)
    :/=$ (src/Data/Singletons/Prelude/Eq.hs:46)
    :/=$$ (src/Data/Singletons/Prelude/Eq.hs:46)
    :/=$$$ (src/Data/Singletons/Prelude/Eq.hs:46)
 100% (  4 /  4) in 'Data.Singletons.CustomStar'
  25% (  2 /  8) in 'Data.Promotion.Prelude.Eq'
  Missing documentation for:
    :==$ (src/Data/Singletons/Prelude/Eq.hs:46)
    :==$$ (src/Data/Singletons/Prelude/Eq.hs:46)
    :==$$$ (src/Data/Singletons/Prelude/Eq.hs:46)
    :/=$ (src/Data/Singletons/Prelude/Eq.hs:46)
    :/=$$ (src/Data/Singletons/Prelude/Eq.hs:46)
    :/=$$$ (src/Data/Singletons/Prelude/Eq.hs:46)
  19% (  5 / 26) in 'Data.Promotion.Prelude.Bool'
  Missing documentation for:
    Bool_ (src/Data/Singletons/Prelude/Bool.hs:62)
    bool_ (src/Data/Singletons/Prelude/Bool.hs:62)
    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)
    TrueSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
    FalseSym0 (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)
    Bool_Sym0 (src/Data/Singletons/Prelude/Bool.hs:62)
    Bool_Sym1 (src/Data/Singletons/Prelude/Bool.hs:62)
    Bool_Sym2 (src/Data/Singletons/Prelude/Bool.hs:62)
    Bool_Sym3 (src/Data/Singletons/Prelude/Bool.hs:62)
    OtherwiseSym0 (src/Data/Singletons/Prelude/Bool.hs:68)
  11% (  4 / 36) in 'Data.Singletons.Prelude.Ord'
  Missing documentation for:
    POrd (src/Data/Singletons/Prelude/Ord.hs:46)
    SOrd (src/Data/Singletons/Prelude/Ord.hs:46)
    thenCmp (src/Data/Singletons/Prelude/Ord.hs:76)
    ThenCmp (src/Data/Singletons/Prelude/Ord.hs:76)
    sThenCmp (src/Data/Singletons/Prelude/Ord.hs:76)
    ThenCmpSym0 (src/Data/Singletons/Prelude/Ord.hs:76)
    ThenCmpSym1 (src/Data/Singletons/Prelude/Ord.hs:76)
    ThenCmpSym2 (src/Data/Singletons/Prelude/Ord.hs:76)
    LTSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
    EQSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
    GTSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
    CompareSym0 (src/Data/Singletons/Prelude/Ord.hs:46)
    CompareSym1 (src/Data/Singletons/Prelude/Ord.hs:46)
    CompareSym2 (src/Data/Singletons/Prelude/Ord.hs:46)
    :<$ (src/Data/Singletons/Prelude/Ord.hs:46)
    :<$$ (src/Data/Singletons/Prelude/Ord.hs:46)
    :<$$$ (src/Data/Singletons/Prelude/Ord.hs:46)
    :<=$ (src/Data/Singletons/Prelude/Ord.hs:46)
    :<=$$ (src/Data/Singletons/Prelude/Ord.hs:46)
    :<=$$$ (src/Data/Singletons/Prelude/Ord.hs:46)
    :>$ (src/Data/Singletons/Prelude/Ord.hs:46)
    :>$$ (src/Data/Singletons/Prelude/Ord.hs:46)
    :>$$$ (src/Data/Singletons/Prelude/Ord.hs:46)
    :>=$ (src/Data/Singletons/Prelude/Ord.hs:46)
    :>=$$ (src/Data/Singletons/Prelude/Ord.hs:46)
    :>=$$$ (src/Data/Singletons/Prelude/Ord.hs:46)
    MaxSym0 (src/Data/Singletons/Prelude/Ord.hs:46)
    MaxSym1 (src/Data/Singletons/Prelude/Ord.hs:46)
    MaxSym2 (src/Data/Singletons/Prelude/Ord.hs:46)
    MinSym0 (src/Data/Singletons/Prelude/Ord.hs:46)
    MinSym1 (src/Data/Singletons/Prelude/Ord.hs:46)
    MinSym2 (src/Data/Singletons/Prelude/Ord.hs:46)
   4% (  1 / 26) in 'Data.Promotion.Prelude.Ord'
  Missing documentation for:
    POrd (src/Data/Singletons/Prelude/Ord.hs:46)
    LTSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
    EQSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
    GTSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
    CompareSym0 (src/Data/Singletons/Prelude/Ord.hs:46)
    CompareSym1 (src/Data/Singletons/Prelude/Ord.hs:46)
    CompareSym2 (src/Data/Singletons/Prelude/Ord.hs:46)
    :<$ (src/Data/Singletons/Prelude/Ord.hs:46)
    :<$$ (src/Data/Singletons/Prelude/Ord.hs:46)
    :<$$$ (src/Data/Singletons/Prelude/Ord.hs:46)
    :<=$ (src/Data/Singletons/Prelude/Ord.hs:46)
    :<=$$ (src/Data/Singletons/Prelude/Ord.hs:46)
    :<=$$$ (src/Data/Singletons/Prelude/Ord.hs:46)
    :>$ (src/Data/Singletons/Prelude/Ord.hs:46)
    :>$$ (src/Data/Singletons/Prelude/Ord.hs:46)
    :>$$$ (src/Data/Singletons/Prelude/Ord.hs:46)
    :>=$ (src/Data/Singletons/Prelude/Ord.hs:46)
    :>=$$ (src/Data/Singletons/Prelude/Ord.hs:46)
    :>=$$$ (src/Data/Singletons/Prelude/Ord.hs:46)
    MaxSym0 (src/Data/Singletons/Prelude/Ord.hs:46)
    MaxSym1 (src/Data/Singletons/Prelude/Ord.hs:46)
    MaxSym2 (src/Data/Singletons/Prelude/Ord.hs:46)
    MinSym0 (src/Data/Singletons/Prelude/Ord.hs:46)
    MinSym1 (src/Data/Singletons/Prelude/Ord.hs:46)
    MinSym2 (src/Data/Singletons/Prelude/Ord.hs:46)
 100% (  3 /  3) in 'Data.Singletons.TypeRepStar'
   5% (  3 / 63) in 'Data.Singletons.Prelude.Base'
  Missing documentation for:
    Foldr (src/Data/Singletons/Prelude/Base.hs:55)
    sFoldr (src/Data/Singletons/Prelude/Base.hs:55)
    Map (src/Data/Singletons/Prelude/Base.hs:55)
    sMap (src/Data/Singletons/Prelude/Base.hs:55)
    :++ (src/Data/Singletons/Prelude/Base.hs:55)
    %:++ (src/Data/Singletons/Prelude/Base.hs:55)
    Otherwise (src/Data/Singletons/Prelude/Bool.hs:68)
    sOtherwise (src/Data/Singletons/Prelude/Bool.hs:68)
    Id (src/Data/Singletons/Prelude/Base.hs:55)
    sId (src/Data/Singletons/Prelude/Base.hs:55)
    Const (src/Data/Singletons/Prelude/Base.hs:55)
    sConst (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:96)
    $! (src/Data/Singletons/Prelude/Base.hs:113)
    %$ (src/Data/Singletons/Prelude/Base.hs:108)
    %$! (src/Data/Singletons/Prelude/Base.hs:125)
    Flip (src/Data/Singletons/Prelude/Base.hs:55)
    sFlip (src/Data/Singletons/Prelude/Base.hs:55)
    AsTypeOf (src/Data/Singletons/Prelude/Base.hs:55)
    sAsTypeOf (src/Data/Singletons/Prelude/Base.hs:55)
    Seq (src/Data/Singletons/Prelude/Base.hs:55)
    sSeq (src/Data/Singletons/Prelude/Base.hs:55)
    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)
    MapSym0 (src/Data/Singletons/Prelude/Base.hs:55)
    MapSym1 (src/Data/Singletons/Prelude/Base.hs:55)
    MapSym2 (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)
    OtherwiseSym0 (src/Data/Singletons/Prelude/Bool.hs:68)
    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: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)
    FlipSym3 (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)
  70% ( 14 / 20) in 'Data.Singletons.TypeLits.Internal'
  Missing documentation for:
    ErrorSym0 (src/Data/Singletons/TypeLits/Internal.hs:146)
    ErrorSym1 (src/Data/Singletons/TypeLits/Internal.hs:146)
    :^ (src/Data/Singletons/TypeLits/Internal.hs:153)
    :^$ (src/Data/Singletons/TypeLits/Internal.hs:155)
    :^$$ (src/Data/Singletons/TypeLits/Internal.hs:155)
    :^$$$ (src/Data/Singletons/TypeLits/Internal.hs:155)
   8% (  2 / 26) in 'Data.Singletons.Prelude.Num'
  Missing documentation for:
    PNum (src/Data/Singletons/Prelude/Num.hs:42)
    SNum (src/Data/Singletons/Prelude/Num.hs:42)
    Subtract (src/Data/Singletons/Prelude/Num.hs:127)
    sSubtract (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)
  68% ( 13 / 19) in 'Data.Singletons.TypeLits'
  Missing documentation for:
    ErrorSym0 (src/Data/Singletons/TypeLits/Internal.hs:146)
    ErrorSym1 (src/Data/Singletons/TypeLits/Internal.hs:146)
    :^ (src/Data/Singletons/TypeLits/Internal.hs:153)
    :^$ (src/Data/Singletons/TypeLits/Internal.hs:155)
    :^$$ (src/Data/Singletons/TypeLits/Internal.hs:155)
    :^$$$ (src/Data/Singletons/TypeLits/Internal.hs:155)
  53% ( 56 /106) in 'Data.Singletons.TH'
  Missing documentation for:
    :&& (src/Data/Singletons/Prelude/Bool.hs:68)
    POrd (src/Data/Singletons/Prelude/Ord.hs:46)
    SOrd (src/Data/Singletons/Prelude/Ord.hs:46)
    ThenCmp (src/Data/Singletons/Prelude/Ord.hs:76)
    sThenCmp (src/Data/Singletons/Prelude/Ord.hs:76)
    Foldl (src/Data/Singletons/Prelude/Instances.hs:27)
    sFoldl (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)
    CompareSym0 (src/Data/Singletons/Prelude/Ord.hs:46)
    ThenCmpSym0 (src/Data/Singletons/Prelude/Ord.hs:76)
    FoldlSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
  21% (  8 / 38) in 'Data.Singletons.Prelude.Either'
  Missing documentation for:
    SEither (src/Data/Singletons/Prelude/Instances.hs:22)
    either_ (src/Data/Singletons/Prelude/Either.hs:60)
    Either_ (src/Data/Singletons/Prelude/Either.hs:60)
    sEither_ (src/Data/Singletons/Prelude/Either.hs:60)
    Lefts (src/Data/Singletons/Prelude/Either.hs:70)
    sLefts (src/Data/Singletons/Prelude/Either.hs:70)
    Rights (src/Data/Singletons/Prelude/Either.hs:70)
    sRights (src/Data/Singletons/Prelude/Either.hs:70)
    PartitionEithers (src/Data/Singletons/Prelude/Either.hs:70)
    sPartitionEithers (src/Data/Singletons/Prelude/Either.hs:70)
    IsLeft (src/Data/Singletons/Prelude/Either.hs:70)
    sIsLeft (src/Data/Singletons/Prelude/Either.hs:70)
    IsRight (src/Data/Singletons/Prelude/Either.hs:70)
    sIsRight (src/Data/Singletons/Prelude/Either.hs:70)
    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)
    LeftsSym0 (src/Data/Singletons/Prelude/Either.hs:70)
    LeftsSym1 (src/Data/Singletons/Prelude/Either.hs:70)
    RightsSym0 (src/Data/Singletons/Prelude/Either.hs:70)
    RightsSym1 (src/Data/Singletons/Prelude/Either.hs:70)
    IsLeftSym0 (src/Data/Singletons/Prelude/Either.hs:70)
    IsLeftSym1 (src/Data/Singletons/Prelude/Either.hs:70)
    IsRightSym0 (src/Data/Singletons/Prelude/Either.hs:70)
    IsRightSym1 (src/Data/Singletons/Prelude/Either.hs:70)
  15% (  4 / 27) in 'Data.Promotion.Prelude.Either'
  Missing documentation for:
    either_ (src/Data/Singletons/Prelude/Either.hs:60)
    Either_ (src/Data/Singletons/Prelude/Either.hs:60)
    Lefts (src/Data/Singletons/Prelude/Either.hs:70)
    Rights (src/Data/Singletons/Prelude/Either.hs:70)
    PartitionEithers (src/Data/Singletons/Prelude/Either.hs:70)
    IsLeft (src/Data/Singletons/Prelude/Either.hs:70)
    IsRight (src/Data/Singletons/Prelude/Either.hs:70)
    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)
    LeftsSym0 (src/Data/Singletons/Prelude/Either.hs:70)
    LeftsSym1 (src/Data/Singletons/Prelude/Either.hs:70)
    RightsSym0 (src/Data/Singletons/Prelude/Either.hs:70)
    RightsSym1 (src/Data/Singletons/Prelude/Either.hs:70)
    IsLeftSym0 (src/Data/Singletons/Prelude/Either.hs:70)
    IsLeftSym1 (src/Data/Singletons/Prelude/Either.hs:70)
    IsRightSym0 (src/Data/Singletons/Prelude/Either.hs:70)
    IsRightSym1 (src/Data/Singletons/Prelude/Either.hs:70)
   9% (  6 / 70) in 'Data.Singletons.Prelude.Tuple'
  Missing documentation for:
    STuple0 (src/Data/Singletons/Prelude/Instances.hs:22)
    STuple2 (src/Data/Singletons/Prelude/Instances.hs:22)
    STuple3 (src/Data/Singletons/Prelude/Instances.hs:22)
    STuple4 (src/Data/Singletons/Prelude/Instances.hs:22)
    STuple5 (src/Data/Singletons/Prelude/Instances.hs:22)
    STuple6 (src/Data/Singletons/Prelude/Instances.hs:22)
    STuple7 (src/Data/Singletons/Prelude/Instances.hs:22)
    Fst (src/Data/Singletons/Prelude/Tuple.hs:52)
    sFst (src/Data/Singletons/Prelude/Tuple.hs:52)
    Snd (src/Data/Singletons/Prelude/Tuple.hs:52)
    sSnd (src/Data/Singletons/Prelude/Tuple.hs:52)
    Curry (src/Data/Singletons/Prelude/Tuple.hs:52)
    sCurry (src/Data/Singletons/Prelude/Tuple.hs:52)
    Uncurry (src/Data/Singletons/Prelude/Tuple.hs:52)
    sUncurry (src/Data/Singletons/Prelude/Tuple.hs:52)
    Swap (src/Data/Singletons/Prelude/Tuple.hs:52)
    sSwap (src/Data/Singletons/Prelude/Tuple.hs:52)
    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)
    SwapSym0 (src/Data/Singletons/Prelude/Tuple.hs:52)
    SwapSym1 (src/Data/Singletons/Prelude/Tuple.hs:52)
   5% (  3 / 55) in 'Data.Promotion.Prelude.Tuple'
  Missing documentation for:
    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)
    Swap (src/Data/Singletons/Prelude/Tuple.hs:52)
    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)
    SwapSym0 (src/Data/Singletons/Prelude/Tuple.hs:52)
    SwapSym1 (src/Data/Singletons/Prelude/Tuple.hs:52)
   5% (  3 / 56) in 'Data.Promotion.Prelude.Base'
  Missing documentation for:
    Foldr (src/Data/Singletons/Prelude/Base.hs:55)
    Map (src/Data/Singletons/Prelude/Base.hs:55)
    :++ (src/Data/Singletons/Prelude/Base.hs:55)
    Otherwise (src/Data/Singletons/Prelude/Bool.hs:68)
    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)
    Until (src/Data/Promotion/Prelude/Base.hs:48)
    AsTypeOf (src/Data/Singletons/Prelude/Base.hs:55)
    Seq (src/Data/Singletons/Prelude/Base.hs:55)
    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)
    MapSym0 (src/Data/Singletons/Prelude/Base.hs:55)
    MapSym1 (src/Data/Singletons/Prelude/Base.hs:55)
    MapSym2 (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)
    OtherwiseSym0 (src/Data/Singletons/Prelude/Bool.hs:68)
    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: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)
    FlipSym3 (src/Data/Singletons/Prelude/Base.hs:55)
    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)
    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)
  13% (  7 / 52) in 'Data.Singletons.Prelude.Maybe'
  Missing documentation for:
    SMaybe (src/Data/Singletons/Prelude/Instances.hs:22)
    maybe_ (src/Data/Singletons/Prelude/Maybe.hs:64)
    Maybe_ (src/Data/Singletons/Prelude/Maybe.hs:64)
    sMaybe_ (src/Data/Singletons/Prelude/Maybe.hs:64)
    IsJust (src/Data/Singletons/Prelude/Maybe.hs:75)
    sIsJust (src/Data/Singletons/Prelude/Maybe.hs:75)
    IsNothing (src/Data/Singletons/Prelude/Maybe.hs:75)
    sIsNothing (src/Data/Singletons/Prelude/Maybe.hs:75)
    FromJust (src/Data/Singletons/Prelude/Maybe.hs:75)
    sFromJust (src/Data/Singletons/Prelude/Maybe.hs:75)
    FromMaybe (src/Data/Singletons/Prelude/Maybe.hs:75)
    sFromMaybe (src/Data/Singletons/Prelude/Maybe.hs:75)
    ListToMaybe (src/Data/Singletons/Prelude/Maybe.hs:75)
    sListToMaybe (src/Data/Singletons/Prelude/Maybe.hs:75)
    MaybeToList (src/Data/Singletons/Prelude/Maybe.hs:75)
    sMaybeToList (src/Data/Singletons/Prelude/Maybe.hs:75)
    CatMaybes (src/Data/Singletons/Prelude/Maybe.hs:75)
    sCatMaybes (src/Data/Singletons/Prelude/Maybe.hs:75)
    MapMaybe (src/Data/Singletons/Prelude/Maybe.hs:75)
    sMapMaybe (src/Data/Singletons/Prelude/Maybe.hs:75)
    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)
    IsJustSym0 (src/Data/Singletons/Prelude/Maybe.hs:75)
    IsJustSym1 (src/Data/Singletons/Prelude/Maybe.hs:75)
    IsNothingSym0 (src/Data/Singletons/Prelude/Maybe.hs:75)
    IsNothingSym1 (src/Data/Singletons/Prelude/Maybe.hs:75)
    FromJustSym0 (src/Data/Singletons/Prelude/Maybe.hs:75)
    FromJustSym1 (src/Data/Singletons/Prelude/Maybe.hs:75)
    FromMaybeSym0 (src/Data/Singletons/Prelude/Maybe.hs:75)
    FromMaybeSym1 (src/Data/Singletons/Prelude/Maybe.hs:75)
    FromMaybeSym2 (src/Data/Singletons/Prelude/Maybe.hs:75)
    ListToMaybeSym0 (src/Data/Singletons/Prelude/Maybe.hs:75)
    ListToMaybeSym1 (src/Data/Singletons/Prelude/Maybe.hs:75)
    MaybeToListSym0 (src/Data/Singletons/Prelude/Maybe.hs:75)
    MaybeToListSym1 (src/Data/Singletons/Prelude/Maybe.hs:75)
    CatMaybesSym0 (src/Data/Singletons/Prelude/Maybe.hs:75)
    CatMaybesSym1 (src/Data/Singletons/Prelude/Maybe.hs:75)
    MapMaybeSym0 (src/Data/Singletons/Prelude/Maybe.hs:75)
    MapMaybeSym1 (src/Data/Singletons/Prelude/Maybe.hs:75)
    MapMaybeSym2 (src/Data/Singletons/Prelude/Maybe.hs:75)
  10% (  4 / 39) in 'Data.Promotion.Prelude.Maybe'
  Missing documentation for:
    maybe_ (src/Data/Singletons/Prelude/Maybe.hs:64)
    Maybe_ (src/Data/Singletons/Prelude/Maybe.hs:64)
    IsJust (src/Data/Singletons/Prelude/Maybe.hs:75)
    IsNothing (src/Data/Singletons/Prelude/Maybe.hs:75)
    FromJust (src/Data/Singletons/Prelude/Maybe.hs:75)
    FromMaybe (src/Data/Singletons/Prelude/Maybe.hs:75)
    MaybeToList (src/Data/Singletons/Prelude/Maybe.hs:75)
    ListToMaybe (src/Data/Singletons/Prelude/Maybe.hs:75)
    CatMaybes (src/Data/Singletons/Prelude/Maybe.hs:75)
    MapMaybe (src/Data/Singletons/Prelude/Maybe.hs:75)
    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)
    IsJustSym0 (src/Data/Singletons/Prelude/Maybe.hs:75)
    IsJustSym1 (src/Data/Singletons/Prelude/Maybe.hs:75)
    IsNothingSym0 (src/Data/Singletons/Prelude/Maybe.hs:75)
    IsNothingSym1 (src/Data/Singletons/Prelude/Maybe.hs:75)
    FromJustSym0 (src/Data/Singletons/Prelude/Maybe.hs:75)
    FromJustSym1 (src/Data/Singletons/Prelude/Maybe.hs:75)
    FromMaybeSym0 (src/Data/Singletons/Prelude/Maybe.hs:75)
    FromMaybeSym1 (src/Data/Singletons/Prelude/Maybe.hs:75)
    FromMaybeSym2 (src/Data/Singletons/Prelude/Maybe.hs:75)
    MaybeToListSym0 (src/Data/Singletons/Prelude/Maybe.hs:75)
    MaybeToListSym1 (src/Data/Singletons/Prelude/Maybe.hs:75)
    ListToMaybeSym0 (src/Data/Singletons/Prelude/Maybe.hs:75)
    ListToMaybeSym1 (src/Data/Singletons/Prelude/Maybe.hs:75)
    CatMaybesSym0 (src/Data/Singletons/Prelude/Maybe.hs:75)
    CatMaybesSym1 (src/Data/Singletons/Prelude/Maybe.hs:75)
    MapMaybeSym0 (src/Data/Singletons/Prelude/Maybe.hs:75)
    MapMaybeSym1 (src/Data/Singletons/Prelude/Maybe.hs:75)
    MapMaybeSym2 (src/Data/Singletons/Prelude/Maybe.hs:75)
   9% (  2 / 23) in 'Data.Singletons.Prelude.Enum'
  Missing documentation for:
    PBounded (src/Data/Singletons/Prelude/Enum.hs:46)
    SBounded (src/Data/Singletons/Prelude/Enum.hs:46)
    PEnum (src/Data/Singletons/Prelude/Enum.hs:53)
    SEnum (src/Data/Singletons/Prelude/Enum.hs:53)
    MinBoundSym0 (src/Data/Singletons/Prelude/Enum.hs:46)
    MaxBoundSym0 (src/Data/Singletons/Prelude/Enum.hs:46)
    SuccSym0 (src/Data/Singletons/Prelude/Enum.hs:53)
    SuccSym1 (src/Data/Singletons/Prelude/Enum.hs:53)
    PredSym0 (src/Data/Singletons/Prelude/Enum.hs:53)
    PredSym1 (src/Data/Singletons/Prelude/Enum.hs:53)
    ToEnumSym0 (src/Data/Singletons/Prelude/Enum.hs:53)
    ToEnumSym1 (src/Data/Singletons/Prelude/Enum.hs:53)
    FromEnumSym0 (src/Data/Singletons/Prelude/Enum.hs:53)
    FromEnumSym1 (src/Data/Singletons/Prelude/Enum.hs:53)
    EnumFromToSym0 (src/Data/Singletons/Prelude/Enum.hs:53)
    EnumFromToSym1 (src/Data/Singletons/Prelude/Enum.hs:53)
    EnumFromToSym2 (src/Data/Singletons/Prelude/Enum.hs:53)
    EnumFromThenToSym0 (src/Data/Singletons/Prelude/Enum.hs:53)
    EnumFromThenToSym1 (src/Data/Singletons/Prelude/Enum.hs:53)
    EnumFromThenToSym2 (src/Data/Singletons/Prelude/Enum.hs:53)
    EnumFromThenToSym3 (src/Data/Singletons/Prelude/Enum.hs:53)
  10% (  2 / 21) in 'Data.Promotion.Prelude.Enum'
  Missing documentation for:
    PBounded (src/Data/Singletons/Prelude/Enum.hs:46)
    PEnum (src/Data/Singletons/Prelude/Enum.hs:53)
    MinBoundSym0 (src/Data/Singletons/Prelude/Enum.hs:46)
    MaxBoundSym0 (src/Data/Singletons/Prelude/Enum.hs:46)
    SuccSym0 (src/Data/Singletons/Prelude/Enum.hs:53)
    SuccSym1 (src/Data/Singletons/Prelude/Enum.hs:53)
    PredSym0 (src/Data/Singletons/Prelude/Enum.hs:53)
    PredSym1 (src/Data/Singletons/Prelude/Enum.hs:53)
    ToEnumSym0 (src/Data/Singletons/Prelude/Enum.hs:53)
    ToEnumSym1 (src/Data/Singletons/Prelude/Enum.hs:53)
    FromEnumSym0 (src/Data/Singletons/Prelude/Enum.hs:53)
    FromEnumSym1 (src/Data/Singletons/Prelude/Enum.hs:53)
    EnumFromToSym0 (src/Data/Singletons/Prelude/Enum.hs:53)
    EnumFromToSym1 (src/Data/Singletons/Prelude/Enum.hs:53)
    EnumFromToSym2 (src/Data/Singletons/Prelude/Enum.hs:53)
    EnumFromThenToSym0 (src/Data/Singletons/Prelude/Enum.hs:53)
    EnumFromThenToSym1 (src/Data/Singletons/Prelude/Enum.hs:53)
    EnumFromThenToSym2 (src/Data/Singletons/Prelude/Enum.hs:53)
    EnumFromThenToSym3 (src/Data/Singletons/Prelude/Enum.hs:53)
   7% ( 34 /482) in 'Data.Singletons.Prelude.List'
  Missing documentation for:
    SList (src/Data/Singletons/Prelude/Instances.hs:22)
    :++ (src/Data/Singletons/Prelude/Base.hs:55)
    %:++ (src/Data/Singletons/Prelude/Base.hs:55)
    Head (src/Data/Singletons/Prelude/List.hs:257)
    sHead (src/Data/Singletons/Prelude/List.hs:257)
    Last (src/Data/Singletons/Prelude/List.hs:257)
    sLast (src/Data/Singletons/Prelude/List.hs:257)
    Tail (src/Data/Singletons/Prelude/List.hs:257)
    sTail (src/Data/Singletons/Prelude/List.hs:257)
    Init (src/Data/Singletons/Prelude/List.hs:257)
    sInit (src/Data/Singletons/Prelude/List.hs:257)
    Null (src/Data/Singletons/Prelude/List.hs:257)
    sNull (src/Data/Singletons/Prelude/List.hs:257)
    Length (src/Data/Singletons/Prelude/List.hs:257)
    sLength (src/Data/Singletons/Prelude/List.hs:257)
    Map (src/Data/Singletons/Prelude/Base.hs:55)
    sMap (src/Data/Singletons/Prelude/Base.hs:55)
    Reverse (src/Data/Singletons/Prelude/List.hs:257)
    sReverse (src/Data/Singletons/Prelude/List.hs:257)
    Intersperse (src/Data/Singletons/Prelude/List.hs:257)
    sIntersperse (src/Data/Singletons/Prelude/List.hs:257)
    Intercalate (src/Data/Singletons/Prelude/List.hs:257)
    sIntercalate (src/Data/Singletons/Prelude/List.hs:257)
    Transpose (src/Data/Singletons/Prelude/List.hs:257)
    sTranspose (src/Data/Singletons/Prelude/List.hs:257)
    Subsequences (src/Data/Singletons/Prelude/List.hs:257)
    sSubsequences (src/Data/Singletons/Prelude/List.hs:257)
    Permutations (src/Data/Singletons/Prelude/List.hs:257)
    sPermutations (src/Data/Singletons/Prelude/List.hs:257)
    Foldl (src/Data/Singletons/Prelude/Instances.hs:27)
    sFoldl (src/Data/Singletons/Prelude/Instances.hs:27)
    Foldl' (src/Data/Singletons/Prelude/List.hs:257)
    sFoldl' (src/Data/Singletons/Prelude/List.hs:257)
    Foldl1 (src/Data/Singletons/Prelude/List.hs:257)
    sFoldl1 (src/Data/Singletons/Prelude/List.hs:257)
    Foldl1' (src/Data/Singletons/Prelude/List.hs:257)
    sFoldl1' (src/Data/Singletons/Prelude/List.hs:257)
    Foldr (src/Data/Singletons/Prelude/Base.hs:55)
    sFoldr (src/Data/Singletons/Prelude/Base.hs:55)
    Foldr1 (src/Data/Singletons/Prelude/List.hs:257)
    sFoldr1 (src/Data/Singletons/Prelude/List.hs:257)
    Concat (src/Data/Singletons/Prelude/List.hs:257)
    sConcat (src/Data/Singletons/Prelude/List.hs:257)
    ConcatMap (src/Data/Singletons/Prelude/List.hs:257)
    sConcatMap (src/Data/Singletons/Prelude/List.hs:257)
    And (src/Data/Singletons/Prelude/List.hs:257)
    sAnd (src/Data/Singletons/Prelude/List.hs:257)
    Or (src/Data/Singletons/Prelude/List.hs:257)
    sOr (src/Data/Singletons/Prelude/List.hs:257)
    Any_ (src/Data/Singletons/Prelude/List.hs:251)
    sAny_ (src/Data/Singletons/Prelude/List.hs:251)
    All (src/Data/Singletons/Prelude/List.hs:257)
    sAll (src/Data/Singletons/Prelude/List.hs:257)
    Sum (src/Data/Singletons/Prelude/List.hs:257)
    sSum (src/Data/Singletons/Prelude/List.hs:257)
    Product (src/Data/Singletons/Prelude/List.hs:257)
    sProduct (src/Data/Singletons/Prelude/List.hs:257)
    Maximum (src/Data/Singletons/Prelude/List.hs:257)
    sMaximum (src/Data/Singletons/Prelude/List.hs:257)
    Minimum (src/Data/Singletons/Prelude/List.hs:257)
    sMinimum (src/Data/Singletons/Prelude/List.hs:257)
    any_ (src/Data/Singletons/Prelude/List.hs:251)
    Scanl (src/Data/Singletons/Prelude/List.hs:257)
    sScanl (src/Data/Singletons/Prelude/List.hs:257)
    Scanl1 (src/Data/Singletons/Prelude/List.hs:257)
    sScanl1 (src/Data/Singletons/Prelude/List.hs:257)
    Scanr (src/Data/Singletons/Prelude/List.hs:257)
    sScanr (src/Data/Singletons/Prelude/List.hs:257)
    Scanr1 (src/Data/Singletons/Prelude/List.hs:257)
    sScanr1 (src/Data/Singletons/Prelude/List.hs:257)
    MapAccumL (src/Data/Singletons/Prelude/List.hs:257)
    sMapAccumL (src/Data/Singletons/Prelude/List.hs:257)
    MapAccumR (src/Data/Singletons/Prelude/List.hs:257)
    sMapAccumR (src/Data/Singletons/Prelude/List.hs:257)
    Replicate (src/Data/Singletons/Prelude/List.hs:257)
    sReplicate (src/Data/Singletons/Prelude/List.hs:257)
    Unfoldr (src/Data/Singletons/Prelude/List.hs:257)
    sUnfoldr (src/Data/Singletons/Prelude/List.hs:257)
    Take (src/Data/Singletons/Prelude/List.hs:257)
    sTake (src/Data/Singletons/Prelude/List.hs:257)
    Drop (src/Data/Singletons/Prelude/List.hs:257)
    sDrop (src/Data/Singletons/Prelude/List.hs:257)
    SplitAt (src/Data/Singletons/Prelude/List.hs:257)
    sSplitAt (src/Data/Singletons/Prelude/List.hs:257)
    TakeWhile (src/Data/Singletons/Prelude/List.hs:257)
    sTakeWhile (src/Data/Singletons/Prelude/List.hs:257)
    DropWhile (src/Data/Singletons/Prelude/List.hs:257)
    sDropWhile (src/Data/Singletons/Prelude/List.hs:257)
    DropWhileEnd (src/Data/Singletons/Prelude/List.hs:257)
    sDropWhileEnd (src/Data/Singletons/Prelude/List.hs:257)
    Span (src/Data/Singletons/Prelude/List.hs:257)
    sSpan (src/Data/Singletons/Prelude/List.hs:257)
    Break (src/Data/Singletons/Prelude/List.hs:257)
    sBreak (src/Data/Singletons/Prelude/List.hs:257)
    Group (src/Data/Singletons/Prelude/List.hs:257)
    sGroup (src/Data/Singletons/Prelude/List.hs:257)
    Inits (src/Data/Singletons/Prelude/List.hs:257)
    sInits (src/Data/Singletons/Prelude/List.hs:257)
    Tails (src/Data/Singletons/Prelude/List.hs:257)
    sTails (src/Data/Singletons/Prelude/List.hs:257)
    IsPrefixOf (src/Data/Singletons/Prelude/List.hs:257)
    sIsPrefixOf (src/Data/Singletons/Prelude/List.hs:257)
    IsSuffixOf (src/Data/Singletons/Prelude/List.hs:257)
    sIsSuffixOf (src/Data/Singletons/Prelude/List.hs:257)
    IsInfixOf (src/Data/Singletons/Prelude/List.hs:257)
    sIsInfixOf (src/Data/Singletons/Prelude/List.hs:257)
    Elem (src/Data/Singletons/Prelude/List.hs:257)
    sElem (src/Data/Singletons/Prelude/List.hs:257)
    NotElem (src/Data/Singletons/Prelude/List.hs:257)
    sNotElem (src/Data/Singletons/Prelude/List.hs:257)
    Lookup (src/Data/Singletons/Prelude/List.hs:257)
    sLookup (src/Data/Singletons/Prelude/List.hs:257)
    Find (src/Data/Singletons/Prelude/List.hs:257)
    sFind (src/Data/Singletons/Prelude/List.hs:257)
    Filter (src/Data/Singletons/Prelude/List.hs:257)
    sFilter (src/Data/Singletons/Prelude/List.hs:257)
    Partition (src/Data/Singletons/Prelude/List.hs:257)
    sPartition (src/Data/Singletons/Prelude/List.hs:257)
    :!! (src/Data/Singletons/Prelude/List.hs:257)
    %:!! (src/Data/Singletons/Prelude/List.hs:257)
    ElemIndex (src/Data/Singletons/Prelude/List.hs:257)
    sElemIndex (src/Data/Singletons/Prelude/List.hs:257)
    ElemIndices (src/Data/Singletons/Prelude/List.hs:257)
    sElemIndices (src/Data/Singletons/Prelude/List.hs:257)
    FindIndex (src/Data/Singletons/Prelude/List.hs:257)
    sFindIndex (src/Data/Singletons/Prelude/List.hs:257)
    FindIndices (src/Data/Singletons/Prelude/List.hs:257)
    sFindIndices (src/Data/Singletons/Prelude/List.hs:257)
    Zip (src/Data/Singletons/Prelude/List.hs:257)
    sZip (src/Data/Singletons/Prelude/List.hs:257)
    Zip3 (src/Data/Singletons/Prelude/List.hs:257)
    sZip3 (src/Data/Singletons/Prelude/List.hs:257)
    ZipWith (src/Data/Singletons/Prelude/List.hs:257)
    sZipWith (src/Data/Singletons/Prelude/List.hs:257)
    ZipWith3 (src/Data/Singletons/Prelude/List.hs:257)
    sZipWith3 (src/Data/Singletons/Prelude/List.hs:257)
    Unzip (src/Data/Singletons/Prelude/List.hs:257)
    sUnzip (src/Data/Singletons/Prelude/List.hs:257)
    Unzip3 (src/Data/Singletons/Prelude/List.hs:257)
    sUnzip3 (src/Data/Singletons/Prelude/List.hs:257)
    Unzip4 (src/Data/Singletons/Prelude/List.hs:257)
    sUnzip4 (src/Data/Singletons/Prelude/List.hs:257)
    Unzip5 (src/Data/Singletons/Prelude/List.hs:257)
    sUnzip5 (src/Data/Singletons/Prelude/List.hs:257)
    Unzip6 (src/Data/Singletons/Prelude/List.hs:257)
    sUnzip6 (src/Data/Singletons/Prelude/List.hs:257)
    Unzip7 (src/Data/Singletons/Prelude/List.hs:257)
    sUnzip7 (src/Data/Singletons/Prelude/List.hs:257)
    Nub (src/Data/Singletons/Prelude/List.hs:257)
    sNub (src/Data/Singletons/Prelude/List.hs:257)
    Delete (src/Data/Singletons/Prelude/List.hs:257)
    sDelete (src/Data/Singletons/Prelude/List.hs:257)
    :\\ (src/Data/Singletons/Prelude/List.hs:257)
    %:\\ (src/Data/Singletons/Prelude/List.hs:257)
    Union (src/Data/Singletons/Prelude/List.hs:257)
    sUnion (src/Data/Singletons/Prelude/List.hs:257)
    Intersect (src/Data/Singletons/Prelude/List.hs:257)
    sIntersect (src/Data/Singletons/Prelude/List.hs:257)
    Insert (src/Data/Singletons/Prelude/List.hs:257)
    sInsert (src/Data/Singletons/Prelude/List.hs:257)
    Sort (src/Data/Singletons/Prelude/List.hs:257)
    sSort (src/Data/Singletons/Prelude/List.hs:257)
    NubBy (src/Data/Singletons/Prelude/List.hs:257)
    sNubBy (src/Data/Singletons/Prelude/List.hs:257)
    DeleteBy (src/Data/Singletons/Prelude/List.hs:257)
    sDeleteBy (src/Data/Singletons/Prelude/List.hs:257)
    DeleteFirstsBy (src/Data/Singletons/Prelude/List.hs:257)
    sDeleteFirstsBy (src/Data/Singletons/Prelude/List.hs:257)
    UnionBy (src/Data/Singletons/Prelude/List.hs:257)
    sUnionBy (src/Data/Singletons/Prelude/List.hs:257)
    IntersectBy (src/Data/Singletons/Prelude/List.hs:257)
    sIntersectBy (src/Data/Singletons/Prelude/List.hs:257)
    GroupBy (src/Data/Singletons/Prelude/List.hs:257)
    sGroupBy (src/Data/Singletons/Prelude/List.hs:257)
    SortBy (src/Data/Singletons/Prelude/List.hs:257)
    sSortBy (src/Data/Singletons/Prelude/List.hs:257)
    InsertBy (src/Data/Singletons/Prelude/List.hs:257)
    sInsertBy (src/Data/Singletons/Prelude/List.hs:257)
    MaximumBy (src/Data/Singletons/Prelude/List.hs:257)
    sMaximumBy (src/Data/Singletons/Prelude/List.hs:257)
    MinimumBy (src/Data/Singletons/Prelude/List.hs:257)
    sMinimumBy (src/Data/Singletons/Prelude/List.hs:257)
    GenericLength (src/Data/Singletons/Prelude/List.hs:257)
    sGenericLength (src/Data/Singletons/Prelude/List.hs:257)
    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)
    LengthSym0 (src/Data/Singletons/Prelude/List.hs:257)
    LengthSym1 (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)
    TransposeSym0 (src/Data/Singletons/Prelude/List.hs:257)
    TransposeSym1 (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)
    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)
    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)
    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)
    ReplicateSym0 (src/Data/Singletons/Prelude/List.hs:257)
    ReplicateSym1 (src/Data/Singletons/Prelude/List.hs:257)
    ReplicateSym2 (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)
    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)
    GroupSym0 (src/Data/Singletons/Prelude/List.hs:257)
    GroupSym1 (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)
    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)
    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)
    NubSym0 (src/Data/Singletons/Prelude/List.hs:257)
    NubSym1 (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)
    UnionSym0 (src/Data/Singletons/Prelude/List.hs:257)
    UnionSym1 (src/Data/Singletons/Prelude/List.hs:257)
    UnionSym2 (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)
    NubBySym0 (src/Data/Singletons/Prelude/List.hs:257)
    NubBySym1 (src/Data/Singletons/Prelude/List.hs:257)
    NubBySym2 (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)
    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)
    IntersectBySym0 (src/Data/Singletons/Prelude/List.hs:257)
    IntersectBySym1 (src/Data/Singletons/Prelude/List.hs:257)
    IntersectBySym2 (src/Data/Singletons/Prelude/List.hs:257)
    IntersectBySym3 (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)
    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)
    GenericLengthSym0 (src/Data/Singletons/Prelude/List.hs:257)
    GenericLengthSym1 (src/Data/Singletons/Prelude/List.hs:257)
  10% ( 32 /326) in 'Data.Singletons.Prelude'
  Missing documentation for:
    SBool (src/Data/Singletons/Prelude/Instances.hs:22)
    SList (src/Data/Singletons/Prelude/Instances.hs:22)
    SMaybe (src/Data/Singletons/Prelude/Instances.hs:22)
    SEither (src/Data/Singletons/Prelude/Instances.hs:22)
    SOrdering (src/Data/Singletons/Prelude/Instances.hs:22)
    STuple0 (src/Data/Singletons/Prelude/Instances.hs:22)
    STuple2 (src/Data/Singletons/Prelude/Instances.hs:22)
    STuple3 (src/Data/Singletons/Prelude/Instances.hs:22)
    STuple4 (src/Data/Singletons/Prelude/Instances.hs:22)
    STuple5 (src/Data/Singletons/Prelude/Instances.hs:22)
    STuple6 (src/Data/Singletons/Prelude/Instances.hs:22)
    STuple7 (src/Data/Singletons/Prelude/Instances.hs:22)
    Not (src/Data/Singletons/Prelude/Bool.hs:68)
    sNot (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)
    Otherwise (src/Data/Singletons/Prelude/Bool.hs:68)
    sOtherwise (src/Data/Singletons/Prelude/Bool.hs:68)
    ErrorSym0 (src/Data/Singletons/TypeLits/Internal.hs:146)
    Id (src/Data/Singletons/Prelude/Base.hs:55)
    sId (src/Data/Singletons/Prelude/Base.hs:55)
    Const (src/Data/Singletons/Prelude/Base.hs:55)
    sConst (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:96)
    %$ (src/Data/Singletons/Prelude/Base.hs:108)
    $! (src/Data/Singletons/Prelude/Base.hs:113)
    %$! (src/Data/Singletons/Prelude/Base.hs:125)
    Flip (src/Data/Singletons/Prelude/Base.hs:55)
    sFlip (src/Data/Singletons/Prelude/Base.hs:55)
    AsTypeOf (src/Data/Singletons/Prelude/Base.hs:55)
    sAsTypeOf (src/Data/Singletons/Prelude/Base.hs:55)
    Seq (src/Data/Singletons/Prelude/Base.hs:55)
    sSeq (src/Data/Singletons/Prelude/Base.hs:55)
    Map (src/Data/Singletons/Prelude/Base.hs:55)
    sMap (src/Data/Singletons/Prelude/Base.hs:55)
    :++ (src/Data/Singletons/Prelude/Base.hs:55)
    %:++ (src/Data/Singletons/Prelude/Base.hs:55)
    Head (src/Data/Singletons/Prelude/List.hs:257)
    sHead (src/Data/Singletons/Prelude/List.hs:257)
    Last (src/Data/Singletons/Prelude/List.hs:257)
    sLast (src/Data/Singletons/Prelude/List.hs:257)
    Tail (src/Data/Singletons/Prelude/List.hs:257)
    sTail (src/Data/Singletons/Prelude/List.hs:257)
    Init (src/Data/Singletons/Prelude/List.hs:257)
    sInit (src/Data/Singletons/Prelude/List.hs:257)
    Null (src/Data/Singletons/Prelude/List.hs:257)
    sNull (src/Data/Singletons/Prelude/List.hs:257)
    Reverse (src/Data/Singletons/Prelude/List.hs:257)
    sReverse (src/Data/Singletons/Prelude/List.hs:257)
    Foldl (src/Data/Singletons/Prelude/Instances.hs:27)
    sFoldl (src/Data/Singletons/Prelude/Instances.hs:27)
    Foldl1 (src/Data/Singletons/Prelude/List.hs:257)
    sFoldl1 (src/Data/Singletons/Prelude/List.hs:257)
    Foldr (src/Data/Singletons/Prelude/Base.hs:55)
    sFoldr (src/Data/Singletons/Prelude/Base.hs:55)
    Foldr1 (src/Data/Singletons/Prelude/List.hs:257)
    sFoldr1 (src/Data/Singletons/Prelude/List.hs:257)
    And (src/Data/Singletons/Prelude/List.hs:257)
    sAnd (src/Data/Singletons/Prelude/List.hs:257)
    Or (src/Data/Singletons/Prelude/List.hs:257)
    sOr (src/Data/Singletons/Prelude/List.hs:257)
    Any_ (src/Data/Singletons/Prelude/List.hs:251)
    sAny_ (src/Data/Singletons/Prelude/List.hs:251)
    All (src/Data/Singletons/Prelude/List.hs:257)
    sAll (src/Data/Singletons/Prelude/List.hs:257)
    Concat (src/Data/Singletons/Prelude/List.hs:257)
    sConcat (src/Data/Singletons/Prelude/List.hs:257)
    ConcatMap (src/Data/Singletons/Prelude/List.hs:257)
    sConcatMap (src/Data/Singletons/Prelude/List.hs:257)
    Scanl (src/Data/Singletons/Prelude/List.hs:257)
    sScanl (src/Data/Singletons/Prelude/List.hs:257)
    Scanl1 (src/Data/Singletons/Prelude/List.hs:257)
    sScanl1 (src/Data/Singletons/Prelude/List.hs:257)
    Scanr (src/Data/Singletons/Prelude/List.hs:257)
    sScanr (src/Data/Singletons/Prelude/List.hs:257)
    Scanr1 (src/Data/Singletons/Prelude/List.hs:257)
    sScanr1 (src/Data/Singletons/Prelude/List.hs:257)
    Elem (src/Data/Singletons/Prelude/List.hs:257)
    sElem (src/Data/Singletons/Prelude/List.hs:257)
    NotElem (src/Data/Singletons/Prelude/List.hs:257)
    sNotElem (src/Data/Singletons/Prelude/List.hs:257)
    Zip (src/Data/Singletons/Prelude/List.hs:257)
    sZip (src/Data/Singletons/Prelude/List.hs:257)
    Zip3 (src/Data/Singletons/Prelude/List.hs:257)
    sZip3 (src/Data/Singletons/Prelude/List.hs:257)
    ZipWith (src/Data/Singletons/Prelude/List.hs:257)
    sZipWith (src/Data/Singletons/Prelude/List.hs:257)
    ZipWith3 (src/Data/Singletons/Prelude/List.hs:257)
    sZipWith3 (src/Data/Singletons/Prelude/List.hs:257)
    Unzip (src/Data/Singletons/Prelude/List.hs:257)
    sUnzip (src/Data/Singletons/Prelude/List.hs:257)
    Unzip3 (src/Data/Singletons/Prelude/List.hs:257)
    sUnzip3 (src/Data/Singletons/Prelude/List.hs:257)
    Maybe_ (src/Data/Singletons/Prelude/Maybe.hs:64)
    sMaybe_ (src/Data/Singletons/Prelude/Maybe.hs:64)
    Either_ (src/Data/Singletons/Prelude/Either.hs:60)
    sEither_ (src/Data/Singletons/Prelude/Either.hs:60)
    Fst (src/Data/Singletons/Prelude/Tuple.hs:52)
    sFst (src/Data/Singletons/Prelude/Tuple.hs:52)
    Snd (src/Data/Singletons/Prelude/Tuple.hs:52)
    sSnd (src/Data/Singletons/Prelude/Tuple.hs:52)
    Curry (src/Data/Singletons/Prelude/Tuple.hs:52)
    sCurry (src/Data/Singletons/Prelude/Tuple.hs:52)
    Uncurry (src/Data/Singletons/Prelude/Tuple.hs:52)
    sUncurry (src/Data/Singletons/Prelude/Tuple.hs:52)
    either_ (src/Data/Singletons/Prelude/Either.hs:60)
    maybe_ (src/Data/Singletons/Prelude/Maybe.hs:64)
    bool_ (src/Data/Singletons/Prelude/Bool.hs:62)
    any_ (src/Data/Singletons/Prelude/List.hs:251)
    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)
    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)
    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)
   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_1627567390Sym0 TFHelper_1627567423Sym0 TFHelper_1627567456Sym0 TFHelper_1627567489Sym0 TFHelper_1627567522Sym0 Max_1627567555Sym0 Min_1627567588Sym0 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_1627567390Sym0 TFHelper_1627567423Sym0 TFHelper_1627567456Sym0 TFHelper_1627567489Sym0 TFHelper_1627567522Sym0 Max_1627567555Sym0 Min_1627567588Sym0
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:
    Let1627632514GoSym3 Lambda_1627632411Sym0
Warning: Data.Singletons.Prelude.Num: could not find link destinations for:
    TFHelper_1627646502Sym0 Negate_1627646517Sym0
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_1627567390Sym0 TFHelper_1627567423Sym0 TFHelper_1627567456Sym0 TFHelper_1627567489Sym0 TFHelper_1627567522Sym0 Max_1627567555Sym0 Min_1627567588Sym0 Let1627533128LgoSym3 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 Let1627655145LeftSym1 Let1627655145RightSym1 PartitionEithersSym0
Warning: Data.Promotion.Prelude.Either: could not find link destinations for:
    Let1627655145LeftSym1 Let1627655145RightSym1
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:
    Let1627632514GoSym3 Lambda_1627632411Sym0 Let1627666602GoSym3
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_1627669734 Case_1627669699 Let1627669686Scrutinee_1627669656Sym3
Warning: Data.Promotion.Prelude.Maybe: could not find link destinations for:
    Case_1627669734 Case_1627669699 Let1627669686Scrutinee_1627669656Sym3
Warning: Data.Singletons.Prelude.Enum: could not find link destinations for:
    Succ_1627682895Sym0 Pred_1627682908Sym0 EnumFromTo_1627682926Sym0 EnumFromThenTo_1627682956Sym0
Warning: Data.Promotion.Prelude.Enum: could not find link destinations for:
    Succ_1627682895Sym0 Pred_1627682908Sym0 EnumFromTo_1627682926Sym0 EnumFromThenTo_1627682956Sym0
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 Let1627752862Init'Sym2 Let1627752757RevSym1 PrependToAllSym0 NonEmptySubsequencesSym0 Let1627752310PermsSym1 Let1627533128LgoSym3 Let1627752224LgoSym3 Let1627632514GoSym3 Let1627751967XsSym4 Let1627749739Sum'Sym1 Let1627749715ProdSym1 Let1627752184XsSym2 Let1627752198XsSym2 Case_1627751883 Case_1627751860 Let1627751841Scrutinee_1627749447Sym4 Case_1627751813 Let1627751794Scrutinee_1627749449Sym4 Let1627751606S''Sym4 Let1627751606YSym4 Let1627751606YsSym4 Let1627751434S''Sym4 Let1627751434YSym4 Let1627751434YsSym4 Case_1627749699 Let1627749691Scrutinee_1627749535Sym2 Case_1627751406 Let1627751398Scrutinee_1627749455Sym2 Case_1627749905 Let1627749892Scrutinee_1627749519Sym3 Case_1627749874 Let1627749861Scrutinee_1627749521Sym3 Case_1627750278 Let1627750265Scrutinee_1627749509Sym3 Case_1627750247 Let1627750234Scrutinee_1627749511Sym3 Lambda_1627752810Sym0 Let1627750036XsSym1 Case_1627750069 Let1627750056Scrutinee_1627749515Sym3 Let1627749931XsSym1 Case_1627749964 Let1627749951Scrutinee_1627749517Sym3 Case_1627751382 Case_1627751359 Case_1627749843 Let1627749824Scrutinee_1627749531Sym4 Case_1627750307 Let1627750294Scrutinee_1627749497Sym3 SelectSym0 Case_1627749677 Let1627749664Scrutinee_1627749537Sym3 Lambda_1627751189Sym0 Let1627751160BuildListSym2 Lambda_1627750879Sym0 Lambda_1627750847Sym0 Lambda_1627750813Sym0 Lambda_1627750777Sym0 Lambda_1627750739Sym0 Lambda_1627750699Sym0 Let1627751286Nub'Sym1 Let1627749593NubBy'Sym2 Case_1627750606 Let1627750587Scrutinee_1627749481Sym4 Lambda_1627750415Sym0 Let1627750364XsSym5 Let1627750144YsSym3 Let1627750144ZsSym3 Case_1627750528 Let1627750509Scrutinee_1627749483Sym4 Let1627752032MaxBySym3 Let1627752019XsSym3 Let1627752119MinBySym3 Let1627752106XsSym3
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_1627632411Sym0 Let1627752862Init'Sym2 Let1627752757RevSym1 Let1627533128LgoSym3 Let1627632514GoSym3 Let1627751967XsSym4 Case_1627751883 Case_1627751860 Let1627751841Scrutinee_1627749447Sym4 Case_1627751813 Let1627751794Scrutinee_1627749449Sym4 Lambda_1627750879Sym0 Lambda_1627750847Sym0 EqSymbol
Warning: Data.Promotion.Prelude.List: could not find link destinations for:
    Let1627752862Init'Sym2 Let1627752757RevSym1 PrependToAllSym0 NonEmptySubsequencesSym0 Let1627752310PermsSym1 Let1627533128LgoSym3 Let1627752224LgoSym3 Let1627632514GoSym3 Let1627751967XsSym4 Let1627749739Sum'Sym1 Let1627749715ProdSym1 Let1627752184XsSym2 Let1627752198XsSym2 Case_1627751883 Case_1627751860 Let1627751841Scrutinee_1627749447Sym4 Case_1627751813 Let1627751794Scrutinee_1627749449Sym4 Let1627751606S''Sym4 Let1627751606YSym4 Let1627751606YsSym4 Let1627751434S''Sym4 Let1627751434YSym4 Let1627751434YsSym4 Case_1627749699 Let1627749691Scrutinee_1627749535Sym2 Case_1627751406 Let1627751398Scrutinee_1627749455Sym2 Case_1627749905 Let1627749892Scrutinee_1627749519Sym3 Case_1627749874 Let1627749861Scrutinee_1627749521Sym3 Case_1627750278 Let1627750265Scrutinee_1627749509Sym3 Case_1627750247 Let1627750234Scrutinee_1627749511Sym3 Lambda_1627752810Sym0 Let1627750036XsSym1 Case_1627750069 Let1627750056Scrutinee_1627749515Sym3 Let1627749931XsSym1 Case_1627749964 Let1627749951Scrutinee_1627749517Sym3 Case_1627971523 Case_1627751382 Case_1627751359 Case_1627749843 Let1627749824Scrutinee_1627749531Sym4 Case_1627750307 Let1627750294Scrutinee_1627749497Sym3 SelectSym0 Case_1627749677 Let1627749664Scrutinee_1627749537Sym3 Lambda_1627751189Sym0 Let1627751160BuildListSym2 Lambda_1627750879Sym0 Lambda_1627750847Sym0 Lambda_1627750813Sym0 Lambda_1627750777Sym0 Lambda_1627750739Sym0 Lambda_1627750699Sym0 Let1627751286Nub'Sym1 Let1627749593NubBy'Sym2 Case_1627750606 Let1627750587Scrutinee_1627749481Sym4 Let1627750144YsSym3 Let1627750144ZsSym3 Lambda_1627750415Sym0 Let1627750364XsSym5 Case_1627750528 Let1627750509Scrutinee_1627749483Sym4 Let1627752032MaxBySym3 Let1627752019XsSym3 Let1627752119MinBySym3 Let1627752106XsSym3
Warning: Data.Promotion.Prelude.Num: could not find link destinations for:
    TFHelper_1627646502Sym0 Negate_1627646517Sym0
Warning: Data.Promotion.Prelude: could not find link destinations for:
    TFCo:R:SingSymboln SSym EqSymbol Lambda_1627632411Sym0 Let1627666602GoSym3 Case_1627750307 Let1627750294Scrutinee_1627749497Sym3 Let1627752862Init'Sym2 Case_1627749677 Let1627749664Scrutinee_1627749537Sym3 Let1627752757RevSym1 Let1627533128LgoSym3 Let1627632514GoSym3 Let1627751967XsSym4 Let1627749739Sum'Sym1 Let1627749715ProdSym1 Let1627752184XsSym2 Let1627752198XsSym2 Case_1627751883 Case_1627751860 Let1627751841Scrutinee_1627749447Sym4 Case_1627751813 Let1627751794Scrutinee_1627749449Sym4 Case_1627749699 Let1627749691Scrutinee_1627749535Sym2 Case_1627749905 Let1627749892Scrutinee_1627749519Sym3 Case_1627749874 Let1627749861Scrutinee_1627749521Sym3 Case_1627750278 Let1627750265Scrutinee_1627749509Sym3 Case_1627750247 Let1627750234Scrutinee_1627749511Sym3 Let1627750036XsSym1 Case_1627750069 Let1627750056Scrutinee_1627749515Sym3 Let1627749931XsSym1 Case_1627749964 Let1627749951Scrutinee_1627749517Sym3 Case_1627749843 Let1627749824Scrutinee_1627749531Sym4 Lambda_1627750879Sym0 Lambda_1627750847Sym0 D1Proxy C1_0Proxy
Warning: Data.Promotion.TH: could not find link destinations for:
    TFCo:R:Sing(->)f SLambda applySing Compare_1627567390Sym0 TFHelper_1627567423Sym0 TFHelper_1627567456Sym0 TFHelper_1627567489Sym0 TFHelper_1627567522Sym0 Max_1627567555Sym0 Min_1627567588Sym0 D1Proxy C1_0Proxy Let1627533128LgoSym3
Documentation created:
dist/dist-sandbox-9df84abc/doc/html/singletons/index.html,
dist/dist-sandbox-9df84abc/doc/html/singletons/singletons.txt
Creating package registration file:
/tmp/pkgConf-singletons-2.01336092622410228794.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/singletons-2.0.1-19rRBTVPtcdB4bc3cyG0y5
Registering singletons-2.0.1...
Installed singletons-2.0.1
Downloading inline-r-0.8.0.0...
Configuring inline-r-0.8.0.0...
cabal: The pkg-config package 'libR' version >=3.0 is required but it could
not be found.
Failed to install inline-r-0.8.0.0
Updating documentation index
/home/builder/hackage-server/build-cache/tmp-install/share/doc/x86_64-linux-ghc-7.10.2/index.html
cabal: Error: some packages failed to install:
inline-r-0.8.0.0 failed during the configure step. The exception was:
ExitFailure 1

Test log

No test log was submitted for this report.