Resolving dependencies...
Downloading type-combinators-0.2.4.1...
cabal: Entering directory '/tmp/cabal-tmp-10131/type-combinators-0.2.4.1'
Configuring type-combinators-0.2.4.1...
Building type-combinators-0.2.4.1...
Preprocessing library type-combinators-0.2.4.1...
[ 1 of 32] Compiling Type.Family.Monoid ( src/Type/Family/Monoid.hs, dist/build/Type/Family/Monoid.o )
[ 2 of 32] Compiling Type.Family.Constraint ( src/Type/Family/Constraint.hs, dist/build/Type/Family/Constraint.o )
[ 3 of 32] Compiling Type.Class.Known ( src/Type/Class/Known.hs, dist/build/Type/Class/Known.o )
[ 4 of 32] Compiling Type.Class.Witness ( src/Type/Class/Witness.hs, dist/build/Type/Class/Witness.o )
[ 5 of 32] Compiling Type.Class.Higher ( src/Type/Class/Higher.hs, dist/build/Type/Class/Higher.o )
[ 6 of 32] Compiling Type.Family.Tuple ( src/Type/Family/Tuple.hs, dist/build/Type/Family/Tuple.o )
[ 7 of 32] Compiling Type.Family.List ( src/Type/Family/List.hs, dist/build/Type/Family/List.o )
[ 8 of 32] Compiling Data.Type.Index.Trans ( src/Data/Type/Index/Trans.hs, dist/build/Data/Type/Index/Trans.o )
[ 9 of 32] Compiling Type.Family.Either ( src/Type/Family/Either.hs, dist/build/Type/Family/Either.o )
[10 of 32] Compiling Type.Family.Maybe ( src/Type/Family/Maybe.hs, dist/build/Type/Family/Maybe.o )
[11 of 32] Compiling Data.Type.Combinator ( src/Data/Type/Combinator.hs, dist/build/Data/Type/Combinator.o )
[12 of 32] Compiling Data.Type.Conjunction ( src/Data/Type/Conjunction.hs, dist/build/Data/Type/Conjunction.o )
[13 of 32] Compiling Data.Type.Index  ( src/Data/Type/Index.hs, dist/build/Data/Type/Index.o )
[14 of 32] Compiling Data.Type.Sum    ( src/Data/Type/Sum.hs, dist/build/Data/Type/Sum.o )
[15 of 32] Compiling Data.Type.Sum.Lifted ( src/Data/Type/Sum/Lifted.hs, dist/build/Data/Type/Sum/Lifted.o )
[16 of 32] Compiling Data.Type.Disjunction ( src/Data/Type/Disjunction.hs, dist/build/Data/Type/Disjunction.o )
[17 of 32] Compiling Data.Type.Option ( src/Data/Type/Option.hs, dist/build/Data/Type/Option.o )
[18 of 32] Compiling Data.Type.Product.Lifted ( src/Data/Type/Product/Lifted.hs, dist/build/Data/Type/Product/Lifted.o )
[19 of 32] Compiling Type.Family.Bool ( src/Type/Family/Bool.hs, dist/build/Type/Family/Bool.o )
[20 of 32] Compiling Type.Family.Nat  ( src/Type/Family/Nat.hs, dist/build/Type/Family/Nat.o )
[21 of 32] Compiling Data.Type.Boolean ( src/Data/Type/Boolean.hs, dist/build/Data/Type/Boolean.o )
[22 of 32] Compiling Data.Type.Nat    ( src/Data/Type/Nat.hs, dist/build/Data/Type/Nat.o )
[23 of 32] Compiling Data.Type.Length ( src/Data/Type/Length.hs, dist/build/Data/Type/Length.o )
[24 of 32] Compiling Data.Type.Fin    ( src/Data/Type/Fin.hs, dist/build/Data/Type/Fin.o )
[25 of 32] Compiling Data.Type.Fin.Indexed ( src/Data/Type/Fin/Indexed.hs, dist/build/Data/Type/Fin/Indexed.o )
[26 of 32] Compiling Data.Type.Nat.Inequality ( src/Data/Type/Nat/Inequality.hs, dist/build/Data/Type/Nat/Inequality.o )
[27 of 32] Compiling Data.Type.Product ( src/Data/Type/Product.hs, dist/build/Data/Type/Product.o )
[28 of 32] Compiling Data.Type.Subset ( src/Data/Type/Subset.hs, dist/build/Data/Type/Subset.o )
[29 of 32] Compiling Data.Type.Remove ( src/Data/Type/Remove.hs, dist/build/Data/Type/Remove.o )
[30 of 32] Compiling Data.Type.Difference ( src/Data/Type/Difference.hs, dist/build/Data/Type/Difference.o )
[31 of 32] Compiling Data.Type.Vector ( src/Data/Type/Vector.hs, dist/build/Data/Type/Vector.o )
[32 of 32] Compiling Data.Type.Product.Env ( src/Data/Type/Product/Env.hs, dist/build/Data/Type/Product/Env.o )
Running Haddock for type-combinators-0.2.4.1...
Running hscolour for type-combinators-0.2.4.1...
Preprocessing library type-combinators-0.2.4.1...
Preprocessing library type-combinators-0.2.4.1...
Haddock coverage:
  33% (  1 /  3) in 'Type.Family.Monoid'
  Missing documentation for:
    Mempty (src/Type/Family/Monoid.hs:21)
    <> (src/Type/Family/Monoid.hs:22)
  33% (  3 /  9) in 'Type.Family.Constraint'
  Missing documentation for:
    Fail (src/Type/Family/Constraint.hs:38)
    Iff (src/Type/Family/Constraint.hs:40)
     (src/Type/Family/Constraint.hs:42)
     (src/Type/Family/Constraint.hs:44)
    Comp (src/Type/Family/Constraint.hs:47)
     (src/Type/Family/Constraint.hs:48)
  67% (  2 /  3) in 'Type.Class.Known'
  Missing documentation for:
     (src/Type/Class/Known.hs:48)
Warning: Type.Class.Witness: Could not find documentation for exported module: Exports
  21% ( 10 / 48) in 'Type.Class.Witness'
  Missing documentation for:
    Wit1 (src/Type/Class/Witness.hs:67)
     (src/Type/Class/Witness.hs:87)
    transC (src/Type/Class/Witness.hs:91)
    // (src/Type/Class/Witness.hs:112)
    Fails (src/Type/Class/Witness.hs:128)
    absurdC (src/Type/Class/Witness.hs:131)
    Const (src/Type/Class/Witness.hs:134)
     (src/Type/Class/Witness.hs:137)
    ∘ (src/Type/Class/Witness.hs:140)
     (src/Type/Class/Witness.hs:143)
    ∧ (src/Type/Class/Witness.hs:147)
     (src/Type/Class/Witness.hs:151)
    ∨ (src/Type/Class/Witness.hs:154)
    eitherC (src/Type/Class/Witness.hs:158)
    pureC (src/Type/Class/Witness.hs:163)
    contraC (src/Type/Class/Witness.hs:166)
    Forall (src/Type/Class/Witness.hs:173)
    toEquality (src/Type/Class/Witness.hs:182)
    commute (src/Type/Class/Witness.hs:185)
    Holds (src/Type/Class/Witness.hs:188)
    falso (src/Type/Class/Witness.hs:192)
    top (src/Type/Class/Witness.hs:195)
    bottom (src/Type/Class/Witness.hs:198)
     (src/Type/Class/Witness.hs:203)
     (src/Type/Class/Witness.hs:206)
     (src/Type/Class/Witness.hs:223)
    //?+ (src/Type/Class/Witness.hs:234)
    witMaybe (src/Type/Class/Witness.hs:240)
    qed (src/Type/Class/Witness.hs:245)
    impossible (src/Type/Class/Witness.hs:248)
    exFalso (src/Type/Class/Witness.hs:251)
    =?= (src/Type/Class/Witness.hs:259)
    TestEquality1 (src/Type/Class/Witness.hs:263)
    =??= (src/Type/Class/Witness.hs:266)
    Dec (src/Type/Class/Witness.hs:274)
    DecEquality (src/Type/Class/Witness.hs:278)
    decCase (src/Type/Class/Witness.hs:281)
    absurd (src/Type/Class/Witness.hs:291)
   3% (  2 / 63) in 'Type.Class.Higher'
  Missing documentation for:
    Eq1 (src/Type/Class/Higher.hs:37)
    =#= (src/Type/Class/Higher.hs:44)
    Eq2 (src/Type/Class/Higher.hs:48)
    =##= (src/Type/Class/Higher.hs:55)
    Eq3 (src/Type/Class/Higher.hs:59)
    =###= (src/Type/Class/Higher.hs:66)
    Ord1 (src/Type/Class/Higher.hs:74)
    Ord2 (src/Type/Class/Higher.hs:88)
    Ord3 (src/Type/Class/Higher.hs:102)
    Show1 (src/Type/Class/Higher.hs:120)
    shows1 (src/Type/Class/Higher.hs:127)
    Show2 (src/Type/Class/Higher.hs:130)
    shows2 (src/Type/Class/Higher.hs:137)
    Show3 (src/Type/Class/Higher.hs:140)
    shows3 (src/Type/Class/Higher.hs:147)
    Read1 (src/Type/Class/Higher.hs:154)
    reads1 (src/Type/Class/Higher.hs:157)
    readMaybe1 (src/Type/Class/Higher.hs:160)
    Read2 (src/Type/Class/Higher.hs:166)
    reads2 (src/Type/Class/Higher.hs:169)
    readMaybe2 (src/Type/Class/Higher.hs:172)
    Read3 (src/Type/Class/Higher.hs:178)
    reads3 (src/Type/Class/Higher.hs:181)
    readMaybe3 (src/Type/Class/Higher.hs:184)
    Functor1 (src/Type/Class/Higher.hs:193)
    IxFunctor1 (src/Type/Class/Higher.hs:197)
    Foldable1 (src/Type/Class/Higher.hs:204)
    IxFoldable1 (src/Type/Class/Higher.hs:207)
    Traversable1 (src/Type/Class/Higher.hs:214)
    IxTraversable1 (src/Type/Class/Higher.hs:217)
    Bifunctor1 (src/Type/Class/Higher.hs:224)
    IxBifunctor1 (src/Type/Class/Higher.hs:230)
    Some (src/Type/Class/Higher.hs:242)
     (src/Type/Class/Higher.hs:245)
    >>- (src/Type/Class/Higher.hs:265)
    >-> (src/Type/Class/Higher.hs:269)
    withSome (src/Type/Class/Higher.hs:273)
    onSome (src/Type/Class/Higher.hs:276)
    msome (src/Type/Class/Higher.hs:279)
    >>=- (src/Type/Class/Higher.hs:282)
    Some2 (src/Type/Class/Higher.hs:292)
    some2 (src/Type/Class/Higher.hs:295)
    >>-- (src/Type/Class/Higher.hs:298)
    >--> (src/Type/Class/Higher.hs:302)
    withSome2 (src/Type/Class/Higher.hs:306)
    onSome2 (src/Type/Class/Higher.hs:309)
    msome2 (src/Type/Class/Higher.hs:312)
    >>=-- (src/Type/Class/Higher.hs:315)
    Some3 (src/Type/Class/Higher.hs:325)
    some3 (src/Type/Class/Higher.hs:328)
    >>--- (src/Type/Class/Higher.hs:331)
    >---> (src/Type/Class/Higher.hs:335)
    withSome3 (src/Type/Class/Higher.hs:339)
    onSome3 (src/Type/Class/Higher.hs:342)
    msome3 (src/Type/Class/Higher.hs:345)
    >>=--- (src/Type/Class/Higher.hs:348)
    SomeC (src/Type/Class/Higher.hs:358)
    someC (src/Type/Class/Higher.hs:361)
    >>~ (src/Type/Class/Higher.hs:364)
    msomeC (src/Type/Class/Higher.hs:368)
    >>=~ (src/Type/Class/Higher.hs:371)
   6% (  1 / 16) in 'Type.Family.Tuple'
  Missing documentation for:
    # (src/Type/Family/Tuple.hs:35)
    Fst (src/Type/Family/Tuple.hs:40)
    fstCong (src/Type/Family/Tuple.hs:43)
    Snd (src/Type/Family/Tuple.hs:46)
    sndCong (src/Type/Family/Tuple.hs:49)
    Fst3 (src/Type/Family/Tuple.hs:52)
    fst3Cong (src/Type/Family/Tuple.hs:55)
    Snd3 (src/Type/Family/Tuple.hs:58)
    snd3Cong (src/Type/Family/Tuple.hs:61)
    Thd3 (src/Type/Family/Tuple.hs:64)
    thd3Cong (src/Type/Family/Tuple.hs:67)
    <$> (src/Type/Family/Tuple.hs:74)
    pairMapCong (src/Type/Family/Tuple.hs:78)
    <&> (src/Type/Family/Tuple.hs:81)
    <*> (src/Type/Family/Tuple.hs:85)
  18% (  7 / 38) in 'Type.Family.List'
  Missing documentation for:
    Ø (src/Type/Family/List.hs:37)
    :< (src/Type/Family/List.hs:38)
    Null (src/Type/Family/List.hs:46)
    nullCong (src/Type/Family/List.hs:50)
    nilNotCons (src/Type/Family/List.hs:53)
    appendCong (src/Type/Family/List.hs:62)
    Concat (src/Type/Family/List.hs:65)
    concatCong (src/Type/Family/List.hs:69)
    snocCong (src/Type/Family/List.hs:82)
    Reverse (src/Type/Family/List.hs:85)
    reverseCong (src/Type/Family/List.hs:89)
    HeadM (src/Type/Family/List.hs:96)
    Head (src/Type/Family/List.hs:100)
    TailM (src/Type/Family/List.hs:103)
    Tail (src/Type/Family/List.hs:107)
    InitM (src/Type/Family/List.hs:110)
    Init (src/Type/Family/List.hs:114)
    Init' (src/Type/Family/List.hs:117)
    initCong (src/Type/Family/List.hs:121)
    LastM (src/Type/Family/List.hs:124)
    Last (src/Type/Family/List.hs:128)
    Last' (src/Type/Family/List.hs:131)
    lastCong (src/Type/Family/List.hs:135)
    listMapCong (src/Type/Family/List.hs:156)
    <*> (src/Type/Family/List.hs:166)
    Fsts (src/Type/Family/List.hs:175)
    Snds (src/Type/Family/List.hs:179)
    Zip (src/Type/Family/List.hs:183)
    Fsts3 (src/Type/Family/List.hs:187)
    Snds3 (src/Type/Family/List.hs:191)
    Thds3 (src/Type/Family/List.hs:195)
   7% (  1 / 14) in 'Data.Type.Index.Trans'
  Missing documentation for:
    Module header
    IxList' (src/Data/Type/Index/Trans.hs:25)
    IxEnv (src/Data/Type/Index/Trans.hs:26)
    IxLift (src/Data/Type/Index/Trans.hs:28)
    IxList (src/Data/Type/Index/Trans.hs:33)
    IxFirst (src/Data/Type/Index/Trans.hs:39)
     (src/Data/Type/Index/Trans.hs:43)
    IxSecond (src/Data/Type/Index/Trans.hs:47)
     (src/Data/Type/Index/Trans.hs:51)
    IxOr (src/Data/Type/Index/Trans.hs:55)
     (src/Data/Type/Index/Trans.hs:61)
    IxJust (src/Data/Type/Index/Trans.hs:65)
    IxComp (src/Data/Type/Index/Trans.hs:69)
  16% (  3 / 19) in 'Type.Family.Either'
  Missing documentation for:
    IsLeft (src/Type/Family/Either.hs:37)
    IsRight (src/Type/Family/Either.hs:41)
    leftCong (src/Type/Family/Either.hs:45)
    rightCong (src/Type/Family/Either.hs:48)
    leftNotRight (src/Type/Family/Either.hs:51)
    eitherFmapCong (src/Type/Family/Either.hs:60)
    <&> (src/Type/Family/Either.hs:63)
    eitherPamfCong (src/Type/Family/Either.hs:68)
    <*> (src/Type/Family/Either.hs:71)
    eitherApCong (src/Type/Family/Either.hs:78)
    <|> (src/Type/Family/Either.hs:81)
    eitherAltCong (src/Type/Family/Either.hs:86)
    FromLeft (src/Type/Family/Either.hs:89)
    FromRight (src/Type/Family/Either.hs:92)
    fromLeftCong (src/Type/Family/Either.hs:95)
    fromRightCong (src/Type/Family/Either.hs:98)
  20% (  3 / 15) in 'Type.Family.Maybe'
  Missing documentation for:
    IsNothing (src/Type/Family/Maybe.hs:37)
    nothingCong (src/Type/Family/Maybe.hs:41)
    nothingNotJust (src/Type/Family/Maybe.hs:44)
    maybeFmapCong (src/Type/Family/Maybe.hs:53)
    <&> (src/Type/Family/Maybe.hs:56)
    maybePamfCong (src/Type/Family/Maybe.hs:61)
    <*> (src/Type/Family/Maybe.hs:64)
    maybeApCong (src/Type/Family/Maybe.hs:70)
    <|> (src/Type/Family/Maybe.hs:73)
    maybeAltCong (src/Type/Family/Maybe.hs:79)
    FromJust (src/Type/Family/Maybe.hs:82)
    fromJustCong (src/Type/Family/Maybe.hs:85)
   2% (  1 / 57) in 'Data.Type.Combinator'
  Missing documentation for:
    Comp1 (src/Data/Type/Combinator.hs:46)
     (src/Data/Type/Combinator.hs:51)
    :.: (src/Data/Type/Combinator.hs:61)
     (src/Data/Type/Combinator.hs:67)
     (src/Data/Type/Combinator.hs:70)
     (src/Data/Type/Combinator.hs:73)
     (src/Data/Type/Combinator.hs:78)
     (src/Data/Type/Combinator.hs:82)
     (src/Data/Type/Combinator.hs:85)
    I (src/Data/Type/Combinator.hs:92)
     (src/Data/Type/Combinator.hs:99)
     (src/Data/Type/Combinator.hs:103)
     (src/Data/Type/Combinator.hs:106)
     (src/Data/Type/Combinator.hs:110)
    C (src/Data/Type/Combinator.hs:122)
     (src/Data/Type/Combinator.hs:129)
     (src/Data/Type/Combinator.hs:130)
     (src/Data/Type/Combinator.hs:131)
     (src/Data/Type/Combinator.hs:133)
     (src/Data/Type/Combinator.hs:140)
     (src/Data/Type/Combinator.hs:144)
    mapC (src/Data/Type/Combinator.hs:152)
    Flip (src/Data/Type/Combinator.hs:159)
    flipTestEquality1 (src/Data/Type/Combinator.hs:165)
     (src/Data/Type/Combinator.hs:168)
     (src/Data/Type/Combinator.hs:171)
     (src/Data/Type/Combinator.hs:175)
    mapFlip (src/Data/Type/Combinator.hs:179)
    Cur (src/Data/Type/Combinator.hs:186)
     (src/Data/Type/Combinator.hs:195)
     (src/Data/Type/Combinator.hs:199)
    mapCur (src/Data/Type/Combinator.hs:203)
    Uncur (src/Data/Type/Combinator.hs:210)
     (src/Data/Type/Combinator.hs:218)
     (src/Data/Type/Combinator.hs:225)
     (src/Data/Type/Combinator.hs:229)
    mapUncur (src/Data/Type/Combinator.hs:233)
    Cur3 (src/Data/Type/Combinator.hs:240)
     (src/Data/Type/Combinator.hs:249)
     (src/Data/Type/Combinator.hs:253)
    mapCur3 (src/Data/Type/Combinator.hs:257)
    Uncur3 (src/Data/Type/Combinator.hs:264)
     (src/Data/Type/Combinator.hs:272)
     (src/Data/Type/Combinator.hs:279)
     (src/Data/Type/Combinator.hs:283)
    mapUncur3 (src/Data/Type/Combinator.hs:287)
    Join (src/Data/Type/Combinator.hs:294)
     (src/Data/Type/Combinator.hs:303)
     (src/Data/Type/Combinator.hs:306)
     (src/Data/Type/Combinator.hs:309)
     (src/Data/Type/Combinator.hs:314)
     (src/Data/Type/Combinator.hs:318)
    mapJoin (src/Data/Type/Combinator.hs:322)
    Conj (src/Data/Type/Combinator.hs:327)
    LL (src/Data/Type/Combinator.hs:337)
    RR (src/Data/Type/Combinator.hs:342)
   3% (  1 / 39) in 'Data.Type.Conjunction'
  Missing documentation for:
    :&: (src/Data/Type/Conjunction.hs:43)
     (src/Data/Type/Conjunction.hs:52)
     (src/Data/Type/Conjunction.hs:55)
     (src/Data/Type/Conjunction.hs:58)
    fanFst (src/Data/Type/Conjunction.hs:64)
    fanSnd (src/Data/Type/Conjunction.hs:67)
    .&. (src/Data/Type/Conjunction.hs:70)
    fanFirst (src/Data/Type/Conjunction.hs:74)
    uncurryFan (src/Data/Type/Conjunction.hs:77)
    curryFan (src/Data/Type/Conjunction.hs:80)
     (src/Data/Type/Conjunction.hs:83)
     (src/Data/Type/Conjunction.hs:86)
     (src/Data/Type/Conjunction.hs:89)
     (src/Data/Type/Conjunction.hs:92)
     (src/Data/Type/Conjunction.hs:95)
     (src/Data/Type/Conjunction.hs:98)
    :*: (src/Data/Type/Conjunction.hs:106)
     (src/Data/Type/Conjunction.hs:115)
     (src/Data/Type/Conjunction.hs:118)
     (src/Data/Type/Conjunction.hs:121)
    parFst (src/Data/Type/Conjunction.hs:127)
    parSnd (src/Data/Type/Conjunction.hs:130)
    uncurryPar (src/Data/Type/Conjunction.hs:133)
    curryPar (src/Data/Type/Conjunction.hs:136)
     (src/Data/Type/Conjunction.hs:139)
     (src/Data/Type/Conjunction.hs:142)
     (src/Data/Type/Conjunction.hs:145)
     (src/Data/Type/Conjunction.hs:148)
     (src/Data/Type/Conjunction.hs:151)
     (src/Data/Type/Conjunction.hs:154)
    _fst (src/Data/Type/Conjunction.hs:159)
    _snd (src/Data/Type/Conjunction.hs:162)
     (src/Data/Type/Conjunction.hs:170)
     (src/Data/Type/Conjunction.hs:177)
    :&&: (src/Data/Type/Conjunction.hs:185)
     (src/Data/Type/Conjunction.hs:189)
     (src/Data/Type/Conjunction.hs:194)
    conjEq (src/Data/Type/Conjunction.hs:200)
   5% (  1 / 22) in 'Data.Type.Index'
  Missing documentation for:
    Index (src/Data/Type/Index.hs:40)
     (src/Data/Type/Index.hs:48)
     (src/Data/Type/Index.hs:49)
     (src/Data/Type/Index.hs:50)
     (src/Data/Type/Index.hs:52)
     (src/Data/Type/Index.hs:62)
    elimIndex (src/Data/Type/Index.hs:71)
    ixNil (src/Data/Type/Index.hs:79)
    onIxPred (src/Data/Type/Index.hs:82)
    ∈ (src/Data/Type/Index.hs:87)
    Elem (src/Data/Type/Index.hs:90)
     (src/Data/Type/Index.hs:93)
     (src/Data/Type/Index.hs:96)
     (src/Data/Type/Index.hs:99)
     (src/Data/Type/Index.hs:104)
    Every (src/Data/Type/Index.hs:108)
     (src/Data/Type/Index.hs:112)
     (src/Data/Type/Index.hs:116)
    Every2 (src/Data/Type/Index.hs:122)
     (src/Data/Type/Index.hs:126)
     (src/Data/Type/Index.hs:129)
  10% (  2 / 21) in 'Data.Type.Sum'
  Missing documentation for:
    Sum (src/Data/Type/Sum.hs:42)
     (src/Data/Type/Sum.hs:53)
     (src/Data/Type/Sum.hs:62)
     (src/Data/Type/Sum.hs:71)
     (src/Data/Type/Sum.hs:78)
    decomp (src/Data/Type/Sum.hs:93)
    injectSum (src/Data/Type/Sum.hs:98)
    inj (src/Data/Type/Sum.hs:103)
    prj (src/Data/Type/Sum.hs:106)
    index (src/Data/Type/Sum.hs:109)
    elimSum (src/Data/Type/Sum.hs:118)
     (src/Data/Type/Sum.hs:128)
     (src/Data/Type/Sum.hs:133)
     (src/Data/Type/Sum.hs:138)
     (src/Data/Type/Sum.hs:143)
     (src/Data/Type/Sum.hs:148)
     (src/Data/Type/Sum.hs:153)
     (src/Data/Type/Sum.hs:158)
     (src/Data/Type/Sum.hs:164)
  71% ( 10 / 14) in 'Data.Type.Sum.Lifted'
  Missing documentation for:
    FSum (src/Data/Type/Sum/Lifted.hs:35)
     (src/Data/Type/Sum/Lifted.hs:74)
     (src/Data/Type/Sum/Lifted.hs:79)
     (src/Data/Type/Sum/Lifted.hs:84)
   4% (  1 / 26) in 'Data.Type.Disjunction'
  Missing documentation for:
    :|: (src/Data/Type/Disjunction.hs:43)
     (src/Data/Type/Disjunction.hs:53)
     (src/Data/Type/Disjunction.hs:62)
     (src/Data/Type/Disjunction.hs:71)
     (src/Data/Type/Disjunction.hs:78)
    >|< (src/Data/Type/Disjunction.hs:89)
     (src/Data/Type/Disjunction.hs:95)
     (src/Data/Type/Disjunction.hs:100)
     (src/Data/Type/Disjunction.hs:105)
     (src/Data/Type/Disjunction.hs:110)
     (src/Data/Type/Disjunction.hs:115)
    :+: (src/Data/Type/Disjunction.hs:125)
     (src/Data/Type/Disjunction.hs:134)
     (src/Data/Type/Disjunction.hs:141)
     (src/Data/Type/Disjunction.hs:148)
     (src/Data/Type/Disjunction.hs:155)
    >+< (src/Data/Type/Disjunction.hs:178)
     (src/Data/Type/Disjunction.hs:184)
     (src/Data/Type/Disjunction.hs:188)
     (src/Data/Type/Disjunction.hs:192)
     (src/Data/Type/Disjunction.hs:197)
     (src/Data/Type/Disjunction.hs:202)
     (src/Data/Type/Disjunction.hs:207)
     (src/Data/Type/Disjunction.hs:212)
     (src/Data/Type/Disjunction.hs:216)
  33% (  3 /  9) in 'Data.Type.Option'
  Missing documentation for:
    Option (src/Data/Type/Option.hs:37)
     (src/Data/Type/Option.hs:61)
     (src/Data/Type/Option.hs:66)
     (src/Data/Type/Option.hs:71)
     (src/Data/Type/Option.hs:74)
     (src/Data/Type/Option.hs:78)
  69% ( 18 / 26) in 'Data.Type.Product.Lifted'
  Missing documentation for:
    FProd (src/Data/Type/Product/Lifted.hs:39)
    headF (src/Data/Type/Product/Lifted.hs:69)
    tailF (src/Data/Type/Product/Lifted.hs:72)
    uncurryF (src/Data/Type/Product/Lifted.hs:107)
    curryF (src/Data/Type/Product/Lifted.hs:110)
    indexF (src/Data/Type/Product/Lifted.hs:113)
     (src/Data/Type/Product/Lifted.hs:163)
     (src/Data/Type/Product/Lifted.hs:166)
Warning: Type.Family.Bool: Could not find documentation for exported module: Exports
  20% (  1 /  5) in 'Type.Family.Bool'
  Missing documentation for:
    BoolC (src/Type/Family/Bool.hs:38)
    ==> (src/Type/Family/Bool.hs:42)
    <==> (src/Type/Family/Bool.hs:45)
    ^^ (src/Type/Family/Bool.hs:48)
   5% (  2 / 39) in 'Type.Family.Nat'
  Missing documentation for:
    N (src/Type/Family/Nat.hs:39)
    fromInt (src/Type/Family/Nat.hs:44)
    IsZero (src/Type/Family/Nat.hs:50)
    zeroCong (src/Type/Family/Nat.hs:54)
    zNotS (src/Type/Family/Nat.hs:57)
    NatEq (src/Type/Family/Nat.hs:60)
    Iota (src/Type/Family/Nat.hs:67)
    iotaCong (src/Type/Family/Nat.hs:71)
    Pred (src/Type/Family/Nat.hs:74)
    Pos (src/Type/Family/Nat.hs:77)
    predCong (src/Type/Family/Nat.hs:79)
    + (src/Type/Family/Nat.hs:82)
    AddW (src/Type/Family/Nat.hs:87)
    addCong (src/Type/Family/Nat.hs:92)
    * (src/Type/Family/Nat.hs:95)
    MulW (src/Type/Family/Nat.hs:100)
    mulCong (src/Type/Family/Nat.hs:105)
    ^ (src/Type/Family/Nat.hs:108)
    expCong (src/Type/Family/Nat.hs:113)
    Len (src/Type/Family/Nat.hs:116)
    lenCong (src/Type/Family/Nat.hs:120)
    Ix (src/Type/Family/Nat.hs:123)
    ixCong (src/Type/Family/Nat.hs:127)
    < (src/Type/Family/Nat.hs:130)
    <= (src/Type/Family/Nat.hs:137)
    > (src/Type/Family/Nat.hs:140)
    >= (src/Type/Family/Nat.hs:147)
    N1 (src/Type/Family/Nat.hs:152)
    N2 (src/Type/Family/Nat.hs:153)
    N3 (src/Type/Family/Nat.hs:154)
    N4 (src/Type/Family/Nat.hs:155)
    N5 (src/Type/Family/Nat.hs:156)
    N6 (src/Type/Family/Nat.hs:157)
    N7 (src/Type/Family/Nat.hs:158)
    N8 (src/Type/Family/Nat.hs:159)
    N9 (src/Type/Family/Nat.hs:160)
    N10 (src/Type/Family/Nat.hs:161)
   5% (  1 / 21) in 'Data.Type.Boolean'
  Missing documentation for:
    Boolean (src/Data/Type/Boolean.hs:37)
     (src/Data/Type/Boolean.hs:45)
     (src/Data/Type/Boolean.hs:46)
     (src/Data/Type/Boolean.hs:47)
     (src/Data/Type/Boolean.hs:49)
    if' (src/Data/Type/Boolean.hs:58)
    .? (src/Data/Type/Boolean.hs:63)
    not' (src/Data/Type/Boolean.hs:67)
    .|| (src/Data/Type/Boolean.hs:70)
    .&& (src/Data/Type/Boolean.hs:75)
    .^^ (src/Data/Type/Boolean.hs:80)
    ==> (src/Data/Type/Boolean.hs:85)
    <==> (src/Data/Type/Boolean.hs:90)
    BoolEquality (src/Data/Type/Boolean.hs:95)
    .== (src/Data/Type/Boolean.hs:98)
     (src/Data/Type/Boolean.hs:102)
     (src/Data/Type/Boolean.hs:105)
     (src/Data/Type/Boolean.hs:108)
     (src/Data/Type/Boolean.hs:111)
    toBool (src/Data/Type/Boolean.hs:114)
  21% (  5 / 24) in 'Data.Type.Nat'
  Missing documentation for:
    Nat (src/Data/Type/Nat.hs:41)
     (src/Data/Type/Nat.hs:49)
     (src/Data/Type/Nat.hs:50)
     (src/Data/Type/Nat.hs:51)
     (src/Data/Type/Nat.hs:53)
     (src/Data/Type/Nat.hs:80)
     (src/Data/Type/Nat.hs:89)
    pred' (src/Data/Type/Nat.hs:98)
    onNatPred (src/Data/Type/Nat.hs:101)
    _Z (src/Data/Type/Nat.hs:104)
    _S (src/Data/Type/Nat.hs:107)
    _s (src/Data/Type/Nat.hs:110)
    _ZneS (src/Data/Type/Nat.hs:113)
    addS (src/Data/Type/Nat.hs:124)
    .+ (src/Data/Type/Nat.hs:130)
    .* (src/Data/Type/Nat.hs:136)
    .^ (src/Data/Type/Nat.hs:142)
    elimNat (src/Data/Type/Nat.hs:148)
    natVal (src/Data/Type/Nat.hs:153)
   8% (  1 / 12) in 'Data.Type.Length'
  Missing documentation for:
    Length (src/Data/Type/Length.hs:41)
     (src/Data/Type/Length.hs:49)
     (src/Data/Type/Length.hs:50)
     (src/Data/Type/Length.hs:51)
     (src/Data/Type/Length.hs:53)
     (src/Data/Type/Length.hs:63)
     (src/Data/Type/Length.hs:66)
     (src/Data/Type/Length.hs:70)
    elimLength (src/Data/Type/Length.hs:83)
    lOdd (src/Data/Type/Length.hs:91)
    lEven (src/Data/Type/Length.hs:91)
  38% (  6 / 16) in 'Data.Type.Fin'
  Missing documentation for:
    Fin (src/Data/Type/Fin.hs:41)
     (src/Data/Type/Fin.hs:49)
     (src/Data/Type/Fin.hs:50)
     (src/Data/Type/Fin.hs:51)
     (src/Data/Type/Fin.hs:53)
     (src/Data/Type/Fin.hs:63)
     (src/Data/Type/Fin.hs:71)
    elimFin (src/Data/Type/Fin.hs:77)
    fin (src/Data/Type/Fin.hs:90)
    weaken (src/Data/Type/Fin.hs:99)
  11% (  2 / 18) in 'Data.Type.Fin.Indexed'
  Missing documentation for:
    IFin (src/Data/Type/Fin/Indexed.hs:43)
     (src/Data/Type/Fin/Indexed.hs:51)
     (src/Data/Type/Fin/Indexed.hs:52)
     (src/Data/Type/Fin/Indexed.hs:53)
     (src/Data/Type/Fin/Indexed.hs:55)
     (src/Data/Type/Fin/Indexed.hs:56)
     (src/Data/Type/Fin/Indexed.hs:57)
     (src/Data/Type/Fin/Indexed.hs:59)
    LessEq (src/Data/Type/Fin/Indexed.hs:69)
     (src/Data/Type/Fin/Indexed.hs:73)
     (src/Data/Type/Fin/Indexed.hs:77)
    ifinZ (src/Data/Type/Fin/Indexed.hs:83)
    weaken (src/Data/Type/Fin/Indexed.hs:86)
    ifinNat (src/Data/Type/Fin/Indexed.hs:91)
    ifinVal (src/Data/Type/Fin/Indexed.hs:96)
    onIFinPred (src/Data/Type/Fin/Indexed.hs:99)
   0% (  0 /  8) in 'Data.Type.Nat.Inequality'
  Missing documentation for:
    Module header
    NatLT (src/Data/Type/Nat/Inequality.hs:23)
    NatEQ (src/Data/Type/Nat/Inequality.hs:28)
    NatGT (src/Data/Type/Nat/Inequality.hs:33)
     (src/Data/Type/Nat/Inequality.hs:38)
     (src/Data/Type/Nat/Inequality.hs:44)
     (src/Data/Type/Nat/Inequality.hs:50)
    natCompare (src/Data/Type/Nat/Inequality.hs:56)
  24% ( 10 / 42) in 'Data.Type.Product'
  Missing documentation for:
    Prod (src/Data/Type/Product.hs:54)
     (src/Data/Type/Product.hs:66)
     (src/Data/Type/Product.hs:73)
     (src/Data/Type/Product.hs:80)
     (src/Data/Type/Product.hs:88)
     (src/Data/Type/Product.hs:100)
     (src/Data/Type/Product.hs:113)
    head' (src/Data/Type/Product.hs:147)
    tail' (src/Data/Type/Product.hs:150)
    reverse' (src/Data/Type/Product.hs:165)
    append' (src/Data/Type/Product.hs:170)
    lookupPar (src/Data/Type/Product.hs:182)
    permute (src/Data/Type/Product.hs:187)
    permute' (src/Data/Type/Product.hs:190)
    elimProd (src/Data/Type/Product.hs:218)
    onHead' (src/Data/Type/Product.hs:223)
    onTail' (src/Data/Type/Product.hs:226)
    uncurry' (src/Data/Type/Product.hs:229)
    curry' (src/Data/Type/Product.hs:232)
    index (src/Data/Type/Product.hs:235)
    select (src/Data/Type/Product.hs:240)
     (src/Data/Type/Product.hs:245)
     (src/Data/Type/Product.hs:250)
     (src/Data/Type/Product.hs:255)
     (src/Data/Type/Product.hs:260)
     (src/Data/Type/Product.hs:265)
     (src/Data/Type/Product.hs:270)
     (src/Data/Type/Product.hs:275)
    Witnesses (src/Data/Type/Product.hs:293)
     (src/Data/Type/Product.hs:297)
     (src/Data/Type/Product.hs:300)
    toList (src/Data/Type/Product.hs:304)
Warning: Data.Type.Subset: Could not find documentation for exported module: Exports
   9% (  1 / 11) in 'Data.Type.Subset'
  Missing documentation for:
    Subset (src/Data/Type/Subset.hs:45)
    subNil (src/Data/Type/Subset.hs:47)
    ⊆ (src/Data/Type/Subset.hs:52)
    subRefl (src/Data/Type/Subset.hs:55)
    subTrans (src/Data/Type/Subset.hs:64)
    subProd (src/Data/Type/Subset.hs:67)
    subSum (src/Data/Type/Subset.hs:72)
    subIx (src/Data/Type/Subset.hs:78)
    subExt (src/Data/Type/Subset.hs:85)
    subExtBy (src/Data/Type/Subset.hs:88)
   4% (  1 / 25) in 'Data.Type.Remove'
  Missing documentation for:
    Remove (src/Data/Type/Remove.hs:46)
     (src/Data/Type/Remove.hs:55)
     (src/Data/Type/Remove.hs:56)
     (src/Data/Type/Remove.hs:57)
     (src/Data/Type/Remove.hs:59)
     (src/Data/Type/Remove.hs:60)
     (src/Data/Type/Remove.hs:61)
     (src/Data/Type/Remove.hs:63)
     (src/Data/Type/Remove.hs:64)
     (src/Data/Type/Remove.hs:65)
     (src/Data/Type/Remove.hs:67)
     (src/Data/Type/Remove.hs:77)
    remLen (src/Data/Type/Remove.hs:86)
    elimRemove (src/Data/Type/Remove.hs:91)
    remIx (src/Data/Type/Remove.hs:99)
    remSub (src/Data/Type/Remove.hs:104)
    ixRem (src/Data/Type/Remove.hs:112)
    remProd (src/Data/Type/Remove.hs:117)
    remSum (src/Data/Type/Remove.hs:122)
    Without (src/Data/Type/Remove.hs:131)
     (src/Data/Type/Remove.hs:134)
     (src/Data/Type/Remove.hs:137)
     (src/Data/Type/Remove.hs:140)
     (src/Data/Type/Remove.hs:145)
   8% (  1 / 12) in 'Data.Type.Difference'
  Missing documentation for:
    Difference (src/Data/Type/Difference.hs:43)
    diffLen (src/Data/Type/Difference.hs:50)
     (src/Data/Type/Difference.hs:85)
    elimDifference (src/Data/Type/Difference.hs:92)
    diffProd (src/Data/Type/Difference.hs:125)
    diffSum (src/Data/Type/Difference.hs:132)
    WithoutAll (src/Data/Type/Difference.hs:139)
     (src/Data/Type/Difference.hs:142)
     (src/Data/Type/Difference.hs:145)
     (src/Data/Type/Difference.hs:148)
     (src/Data/Type/Difference.hs:153)
   2% (  1 / 58) in 'Data.Type.Vector'
  Missing documentation for:
    VecT (src/Data/Type/Vector.hs:58)
    elimVecT (src/Data/Type/Vector.hs:63)
    elimV (src/Data/Type/Vector.hs:71)
    Vec (src/Data/Type/Vector.hs:77)
    :+ (src/Data/Type/Vector.hs:79)
    .++ (src/Data/Type/Vector.hs:86)
    vrep (src/Data/Type/Vector.hs:92)
    head' (src/Data/Type/Vector.hs:100)
    tail' (src/Data/Type/Vector.hs:103)
    onTail (src/Data/Type/Vector.hs:106)
    vDel (src/Data/Type/Vector.hs:109)
    imap (src/Data/Type/Vector.hs:114)
    ifoldMap (src/Data/Type/Vector.hs:119)
    itraverse (src/Data/Type/Vector.hs:124)
    index (src/Data/Type/Vector.hs:129)
    index' (src/Data/Type/Vector.hs:134)
    vmap (src/Data/Type/Vector.hs:137)
    vap (src/Data/Type/Vector.hs:142)
    vfoldr (src/Data/Type/Vector.hs:148)
    vfoldMap' (src/Data/Type/Vector.hs:153)
    vfoldMap (src/Data/Type/Vector.hs:159)
    withVecT (src/Data/Type/Vector.hs:164)
    withV (src/Data/Type/Vector.hs:169)
    findV (src/Data/Type/Vector.hs:172)
    findVecT (src/Data/Type/Vector.hs:175)
     (src/Data/Type/Vector.hs:182)
     (src/Data/Type/Vector.hs:187)
     (src/Data/Type/Vector.hs:192)
     (src/Data/Type/Vector.hs:197)
     (src/Data/Type/Vector.hs:200)
     (src/Data/Type/Vector.hs:204)
     (src/Data/Type/Vector.hs:207)
     (src/Data/Type/Vector.hs:212)
     (src/Data/Type/Vector.hs:225)
     (src/Data/Type/Vector.hs:230)
    M (src/Data/Type/Vector.hs:239)
     (src/Data/Type/Vector.hs:245)
    Matrix (src/Data/Type/Vector.hs:253)
    vgen_ (src/Data/Type/Vector.hs:257)
    vgen (src/Data/Type/Vector.hs:260)
    mgen_ (src/Data/Type/Vector.hs:265)
    mgen (src/Data/Type/Vector.hs:268)
    onMatrix (src/Data/Type/Vector.hs:273)
    diagonal (src/Data/Type/Vector.hs:276)
    vtranspose (src/Data/Type/Vector.hs:279)
    transpose (src/Data/Type/Vector.hs:282)
    m0 (src/Data/Type/Vector.hs:285)
    m1 (src/Data/Type/Vector.hs:288)
    m2 (src/Data/Type/Vector.hs:291)
    m3 (src/Data/Type/Vector.hs:294)
    m4 (src/Data/Type/Vector.hs:297)
    ppVec (src/Data/Type/Vector.hs:300)
    ppMatrix (src/Data/Type/Vector.hs:303)
    ppMatrix' (src/Data/Type/Vector.hs:306)
    mzipWith (src/Data/Type/Vector.hs:317)
    zipLines (src/Data/Type/Vector.hs:324)
    compose (src/Data/Type/Vector.hs:338)
   0% (  0 / 20) in 'Data.Type.Product.Env'
  Missing documentation for:
    Module header
    Env (src/Data/Type/Product/Env.hs:29)
    Member (src/Data/Type/Product/Env.hs:33)
    member' (src/Data/Type/Product/Env.hs:37)
    Lookup (src/Data/Type/Product/Env.hs:42)
    lookup' (src/Data/Type/Product/Env.hs:46)
    Insert (src/Data/Type/Product/Env.hs:53)
    insert' (src/Data/Type/Product/Env.hs:57)
    Delete (src/Data/Type/Product/Env.hs:64)
    delete' (src/Data/Type/Product/Env.hs:68)
    Difference (src/Data/Type/Product/Env.hs:75)
    difference' (src/Data/Type/Product/Env.hs:79)
    .\\ (src/Data/Type/Product/Env.hs:84)
    Union (src/Data/Type/Product/Env.hs:87)
    union' (src/Data/Type/Product/Env.hs:91)
    Intersection (src/Data/Type/Product/Env.hs:96)
    intersection' (src/Data/Type/Product/Env.hs:100)
     (src/Data/Type/Product/Env.hs:107)
     (src/Data/Type/Product/Env.hs:110)
    ixList (src/Data/Type/Product/Env.hs:113)
Warning: Type.Family.Constraint: could not find link destinations for:
    ~
Warning: Type.Class.Known: could not find link destinations for:
    ~
Warning: Type.Class.Witness: could not find link destinations for:
    ~
Warning: Type.Family.Tuple: could not find link destinations for:
    ~
Warning: Type.Family.List: could not find link destinations for:
    ~
Warning: Data.Type.Index.Trans: could not find link destinations for:
    ~
Warning: Type.Family.Either: could not find link destinations for:
    ~
Warning: Type.Family.Maybe: could not find link destinations for:
    ~
Warning: Data.Type.Combinator: could not find link destinations for:
    ~
Warning: Data.Type.Conjunction: could not find link destinations for:
    ~
Warning: Data.Type.Disjunction: could not find link destinations for:
    ~
Warning: Data.Type.Option: could not find link destinations for:
    ~
Warning: Data.Type.Product.Lifted: could not find link destinations for:
    ~
Warning: Type.Family.Nat: could not find link destinations for:
    ~
Warning: Data.Type.Boolean: could not find link destinations for:
    ~
Warning: Data.Type.Nat: could not find link destinations for:
    ~
Warning: Data.Type.Length: could not find link destinations for:
    ~
Warning: Data.Type.Fin: could not find link destinations for:
    ~
Warning: Data.Type.Fin.Indexed: could not find link destinations for:
    ~
Warning: Data.Type.Nat.Inequality: could not find link destinations for:
    ~
Warning: Data.Type.Product: could not find link destinations for:
    ~
Warning: Data.Type.Remove: could not find link destinations for:
    ~
Warning: Data.Type.Difference: could not find link destinations for:
    ~
Documentation created: dist/doc/html/type-combinators/index.html,
dist/doc/html/type-combinators/type-combinators.txt
Creating package registration file:
/tmp/pkgConf-type-combinators-0.2.41315634022635723058.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/type-combinators-0.2.4.1-9tVo6ag4OcJ9aYcCXa6ZC
Registering type-combinators-0.2.4.1...
cabal: Leaving directory '/tmp/cabal-tmp-10131/type-combinators-0.2.4.1'
Installed type-combinators-0.2.4.1