Resolving dependencies...
Configuring OneTuple-0.2.1...
Building OneTuple-0.2.1...
Preprocessing library OneTuple-0.2.1...
[1 of 1] Compiling Data.Tuple.OneTuple ( Data/Tuple/OneTuple.hs, dist/build/Data/Tuple/OneTuple.o )
In-place registering OneTuple-0.2.1...
Running Haddock for OneTuple-0.2.1...
Running hscolour for OneTuple-0.2.1...
Preprocessing library OneTuple-0.2.1...
Preprocessing library OneTuple-0.2.1...
Haddock coverage:
 100% (  3 /  3) in 'Data.Tuple.OneTuple'
Documentation created: dist/doc/html/OneTuple/index.html,
dist/doc/html/OneTuple/OneTuple.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/OneTuple-0.2.1
Registering OneTuple-0.2.1...
Installed OneTuple-0.2.1
Configuring data-hash-0.2.0.0...
Building data-hash-0.2.0.0...
Preprocessing library data-hash-0.2.0.0...
[1 of 4] Compiling Data.Hash.Base   ( src/Data/Hash/Base.hs, dist/build/Data/Hash/Base.o )
[2 of 4] Compiling Data.Hash.Instances ( src/Data/Hash/Instances.hs, dist/build/Data/Hash/Instances.o )
[3 of 4] Compiling Data.Hash.Rolling ( src/Data/Hash/Rolling.hs, dist/build/Data/Hash/Rolling.o )
[4 of 4] Compiling Data.Hash        ( src/Data/Hash.hs, dist/build/Data/Hash.o )
In-place registering data-hash-0.2.0.0...
Running Haddock for data-hash-0.2.0.0...
Running hscolour for data-hash-0.2.0.0...
Preprocessing library data-hash-0.2.0.0...
Preprocessing library data-hash-0.2.0.0...
Haddock coverage:
  21% (  3 / 14) in 'Data.Hash.Base'
   0% (  0 /  3) in 'Data.Hash.Instances'
  70% (  7 / 10) in 'Data.Hash.Rolling'
  56% ( 10 / 18) in 'Data.Hash'
Documentation created: dist/doc/html/data-hash/index.html,
dist/doc/html/data-hash/data-hash.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/data-hash-0.2.0.0
Registering data-hash-0.2.0.0...
Installed data-hash-0.2.0.0
Configuring newtype-0.2...
Building newtype-0.2...
Preprocessing library newtype-0.2...
[1 of 1] Compiling Control.Newtype  ( Control/Newtype.hs, dist/build/Control/Newtype.o )
In-place registering newtype-0.2...
Running Haddock for newtype-0.2...
Running hscolour for newtype-0.2...
Preprocessing library newtype-0.2...
Preprocessing library newtype-0.2...
Haddock coverage:
 100% (  9 /  9) in 'Control.Newtype'
Documentation created: dist/doc/html/newtype/index.html,
dist/doc/html/newtype/newtype.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/newtype-0.2
Registering newtype-0.2...
Installed newtype-0.2
Configuring tree-view-0.4...
Building tree-view-0.4...
Preprocessing library tree-view-0.4...
[1 of 1] Compiling Data.Tree.View   ( src/Data/Tree/View.hs, dist/build/Data/Tree/View.o )
In-place registering tree-view-0.4...
Running Haddock for tree-view-0.4...
Running hscolour for tree-view-0.4...
Preprocessing library tree-view-0.4...
Preprocessing library tree-view-0.4...
Haddock coverage:
  83% (  5 /  6) in 'Data.Tree.View'
Documentation created: dist/doc/html/tree-view/index.html,
dist/doc/html/tree-view/tree-view.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/tree-view-0.4
Registering tree-view-0.4...
Installed tree-view-0.4
Configuring tuple-0.2.0.1...
Building tuple-0.2.0.1...
Preprocessing library tuple-0.2.0.1...
[1 of 5] Compiling Data.Tuple.Update ( src/Data/Tuple/Update.hs, dist/build/Data/Tuple/Update.o )
[2 of 5] Compiling Data.Tuple.Sequence ( src/Data/Tuple/Sequence.hs, dist/build/Data/Tuple/Sequence.o )
[3 of 5] Compiling Data.Tuple.Select ( src/Data/Tuple/Select.hs, dist/build/Data/Tuple/Select.o )
[4 of 5] Compiling Data.Tuple.Curry ( src/Data/Tuple/Curry.hs, dist/build/Data/Tuple/Curry.o )
[5 of 5] Compiling Data.Tuple.All   ( src/Data/Tuple/All.hs, dist/build/Data/Tuple/All.o )
In-place registering tuple-0.2.0.1...
Running Haddock for tuple-0.2.0.1...
Running hscolour for tuple-0.2.0.1...
Preprocessing library tuple-0.2.0.1...
Preprocessing library tuple-0.2.0.1...
Haddock coverage:
   0% (  0 / 16) in 'Data.Tuple.Update'
  50% (  1 /  2) in 'Data.Tuple.Sequence'
   0% (  0 / 16) in 'Data.Tuple.Select'
  50% (  1 /  2) in 'Data.Tuple.Curry'
  83% (  5 /  6) in 'Data.Tuple.All'
Documentation created: dist/doc/html/tuple/index.html,
dist/doc/html/tuple/tuple.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/tuple-0.2.0.1
Registering tuple-0.2.0.1...
Installed tuple-0.2.0.1
Configuring constraints-0.3.5...
Building constraints-0.3.5...
Preprocessing library constraints-0.3.5...
[1 of 3] Compiling Data.Constraint  ( Data/Constraint.hs, dist/build/Data/Constraint.o )
[2 of 3] Compiling Data.Constraint.Unsafe ( Data/Constraint/Unsafe.hs, dist/build/Data/Constraint/Unsafe.o )
[3 of 3] Compiling Data.Constraint.Forall ( Data/Constraint/Forall.hs, dist/build/Data/Constraint/Forall.o )
In-place registering constraints-0.3.5...
Running Haddock for constraints-0.3.5...
Running hscolour for constraints-0.3.5...
Preprocessing library constraints-0.3.5...
Preprocessing library constraints-0.3.5...
Haddock coverage:
Warning: Data.Constraint: Instances of type and data families are not yet supported. Instances of the following families will be filtered out:
  Ex
  90% ( 18 / 20) in 'Data.Constraint'
 100% (  7 /  7) in 'Data.Constraint.Unsafe'
  44% (  4 /  9) in 'Data.Constraint.Forall'
Warning: Data.Constraint.Forall: could not find link destinations for:
    Data.Constraint.Forall.A Data.Constraint.Forall.B Data.Constraint.Forall.F Data.Constraint.Forall.M
Documentation created: dist/doc/html/constraints/index.html,
dist/doc/html/constraints/constraints.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/constraints-0.3.5
Registering constraints-0.3.5...
Installed constraints-0.3.5
Downloading syntactic-1.12.1...
Configuring syntactic-1.12.1...
Building syntactic-1.12.1...
Preprocessing library syntactic-1.12.1...
[ 1 of 31] Compiling Language.Syntactic.Sharing.Utils ( src/Language/Syntactic/Sharing/Utils.hs, dist/build/Language/Syntactic/Sharing/Utils.o )
[ 2 of 31] Compiling Data.PolyProxy   ( src/Data/PolyProxy.hs, dist/build/Data/PolyProxy.o )
[ 3 of 31] Compiling Data.DynamicAlt  ( src/Data/DynamicAlt.hs, dist/build/Data/DynamicAlt.o )
[ 4 of 31] Compiling Language.Syntactic.Syntax ( src/Language/Syntactic/Syntax.hs, dist/build/Language/Syntactic/Syntax.o )
[ 5 of 31] Compiling Language.Syntactic.Traversal ( src/Language/Syntactic/Traversal.hs, dist/build/Language/Syntactic/Traversal.o )
[ 6 of 31] Compiling Language.Syntactic.Interpretation.Equality ( src/Language/Syntactic/Interpretation/Equality.hs, dist/build/Language/Syntactic/Interpretation/Equality.o )
[ 7 of 31] Compiling Language.Syntactic.Interpretation.Render ( src/Language/Syntactic/Interpretation/Render.hs, dist/build/Language/Syntactic/Interpretation/Render.o )
[ 8 of 31] Compiling Language.Syntactic.Interpretation.Evaluation ( src/Language/Syntactic/Interpretation/Evaluation.hs, dist/build/Language/Syntactic/Interpretation/Evaluation.o )
[ 9 of 31] Compiling Language.Syntactic.Interpretation.Semantics ( src/Language/Syntactic/Interpretation/Semantics.hs, dist/build/Language/Syntactic/Interpretation/Semantics.o )
[10 of 31] Compiling Language.Syntactic.Constraint ( src/Language/Syntactic/Constraint.hs, dist/build/Language/Syntactic/Constraint.o )
[11 of 31] Compiling Language.Syntactic.Sugar ( src/Language/Syntactic/Sugar.hs, dist/build/Language/Syntactic/Sugar.o )
[12 of 31] Compiling Language.Syntactic ( src/Language/Syntactic.hs, dist/build/Language/Syntactic.o )
[13 of 31] Compiling Language.Syntactic.Constructs.Condition ( src/Language/Syntactic/Constructs/Condition.hs, dist/build/Language/Syntactic/Constructs/Condition.o )
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package OneTuple-0.2.1 ... linking ... done.
Loading package tuple-0.2.0.1 ... linking ... done.
Loading package array-0.4.0.1 ... linking ... done.
Loading package deepseq-1.3.0.1 ... linking ... done.
Loading package containers-0.5.0.0 ... linking ... done.
Loading package transformers-0.3.0.0 ... linking ... done.
Loading package mtl-2.1.2 ... linking ... done.
Loading package tree-view-0.4 ... linking ... done.
Loading package pretty-1.1.1.0 ... linking ... done.
Loading package template-haskell ... linking ... done.
Loading package data-hash-0.2.0.0 ... linking ... done.
Loading package newtype-0.2 ... linking ... done.
Loading package constraints-0.3.5 ... linking ... done.
[14 of 31] Compiling Language.Syntactic.Constructs.Construct ( src/Language/Syntactic/Constructs/Construct.hs, dist/build/Language/Syntactic/Constructs/Construct.o )
[15 of 31] Compiling Language.Syntactic.Constructs.Decoration ( src/Language/Syntactic/Constructs/Decoration.hs, dist/build/Language/Syntactic/Constructs/Decoration.o )
[16 of 31] Compiling Language.Syntactic.Constructs.Identity ( src/Language/Syntactic/Constructs/Identity.hs, dist/build/Language/Syntactic/Constructs/Identity.o )
[17 of 31] Compiling Language.Syntactic.Constructs.Literal ( src/Language/Syntactic/Constructs/Literal.hs, dist/build/Language/Syntactic/Constructs/Literal.o )
[18 of 31] Compiling Language.Syntactic.Constructs.Monad ( src/Language/Syntactic/Constructs/Monad.hs, dist/build/Language/Syntactic/Constructs/Monad.o )
[19 of 31] Compiling Language.Syntactic.Constructs.Tuple ( src/Language/Syntactic/Constructs/Tuple.hs, dist/build/Language/Syntactic/Constructs/Tuple.o )
[20 of 31] Compiling Language.Syntactic.Frontend.Tuple ( src/Language/Syntactic/Frontend/Tuple.hs, dist/build/Language/Syntactic/Frontend/Tuple.o )
[21 of 31] Compiling Language.Syntactic.Frontend.TupleConstrained ( src/Language/Syntactic/Frontend/TupleConstrained.hs, dist/build/Language/Syntactic/Frontend/TupleConstrained.o )
[22 of 31] Compiling Language.Syntactic.Constructs.Binding ( src/Language/Syntactic/Constructs/Binding.hs, dist/build/Language/Syntactic/Constructs/Binding.o )
[23 of 31] Compiling Language.Syntactic.Constructs.Binding.HigherOrder ( src/Language/Syntactic/Constructs/Binding/HigherOrder.hs, dist/build/Language/Syntactic/Constructs/Binding/HigherOrder.o )
[24 of 31] Compiling Language.Syntactic.Frontend.Monad ( src/Language/Syntactic/Frontend/Monad.hs, dist/build/Language/Syntactic/Frontend/Monad.o )
[25 of 31] Compiling Language.Syntactic.Constructs.Binding.Optimize ( src/Language/Syntactic/Constructs/Binding/Optimize.hs, dist/build/Language/Syntactic/Constructs/Binding/Optimize.o )
[26 of 31] Compiling Language.Syntactic.Sharing.SimpleCodeMotion ( src/Language/Syntactic/Sharing/SimpleCodeMotion.hs, dist/build/Language/Syntactic/Sharing/SimpleCodeMotion.o )
[27 of 31] Compiling Language.Syntactic.Sharing.CodeMotion2 ( src/Language/Syntactic/Sharing/CodeMotion2.hs, dist/build/Language/Syntactic/Sharing/CodeMotion2.o )
[28 of 31] Compiling Language.Syntactic.Sharing.Graph ( src/Language/Syntactic/Sharing/Graph.hs, dist/build/Language/Syntactic/Sharing/Graph.o )
[29 of 31] Compiling Language.Syntactic.Sharing.StableName ( src/Language/Syntactic/Sharing/StableName.hs, dist/build/Language/Syntactic/Sharing/StableName.o )
[30 of 31] Compiling Language.Syntactic.Sharing.Reify ( src/Language/Syntactic/Sharing/Reify.hs, dist/build/Language/Syntactic/Sharing/Reify.o )
[31 of 31] Compiling Language.Syntactic.Sharing.ReifyHO ( src/Language/Syntactic/Sharing/ReifyHO.hs, dist/build/Language/Syntactic/Sharing/ReifyHO.o )
In-place registering syntactic-1.12.1...
Running Haddock for syntactic-1.12.1...
Running hscolour for syntactic-1.12.1...
Preprocessing library syntactic-1.12.1...
Preprocessing library syntactic-1.12.1...
Haddock coverage:
  90% (  9 / 10) in 'Language.Syntactic.Sharing.Utils'
  50% (  1 /  2) in 'Data.PolyProxy'
  25% (  1 /  4) in 'Data.DynamicAlt'
Warning: Language.Syntactic.Syntax: Instances of type and data families are not yet supported. Instances of the following families will be filtered out:
  DenResult
 100% ( 17 / 17) in 'Language.Syntactic.Syntax'
  95% ( 19 / 20) in 'Language.Syntactic.Traversal'
  50% (  1 /  2) in 'Language.Syntactic.Interpretation.Equality'
  75% (  6 /  8) in 'Language.Syntactic.Interpretation.Render'
Warning: Language.Syntactic.Interpretation.Evaluation: Instances of type and data families are not yet supported. Instances of the following families will be filtered out:
  Denotation
  33% (  1 /  3) in 'Language.Syntactic.Interpretation.Evaluation'
 100% (  9 /  9) in 'Language.Syntactic.Interpretation.Semantics'
Warning: Language.Syntactic.Constraint: We do not support associated types in instances yet. These instances are affected:
Language.Syntactic.Constraint.Constrained dom =>
Language.Syntactic.Constraint.Constrained (Language.Syntactic.Syntax.AST dom), Language.Syntactic.Constraint.Constrained (sub1 Language.Syntactic.Syntax.:+: sub2), Language.Syntactic.Constraint.Constrained dom =>
Language.Syntactic.Constraint.Constrained (dom Language.Syntactic.Constraint.:| pred), Language.Syntactic.Constraint.Constrained (dom Language.Syntactic.Constraint.:|| pred), Language.Syntactic.Constraint.Constrained dom =>
Language.Syntactic.Constraint.Constrained (Language.Syntactic.Constraint.SubConstr1 c dom p), Language.Syntactic.Constraint.Constrained dom =>
Language.Syntactic.Constraint.Constrained (Language.Syntactic.Constraint.SubConstr2 c dom pa pb), Language.Syntactic.Constraint.Constrained Language.Syntactic.Constraint.Empty
  72% ( 23 / 32) in 'Language.Syntactic.Constraint'
Warning: Language.Syntactic.Sugar: We do not support associated types in instances yet. These instances are affected:
Language.Syntactic.Sugar.Syntactic (Language.Syntactic.Syntax.ASTF dom a)
 100% (  6 /  6) in 'Language.Syntactic.Sugar'
 100% ( 11 / 11) in 'Language.Syntactic'
Warning: Language.Syntactic.Constructs.Condition: We do not support associated types in instances yet. These instances are affected:
Language.Syntactic.Constraint.Constrained Language.Syntactic.Constructs.Condition.Condition
  50% (  1 /  2) in 'Language.Syntactic.Constructs.Condition'
Warning: Language.Syntactic.Constructs.Construct: We do not support associated types in instances yet. These instances are affected:
Language.Syntactic.Constraint.Constrained Language.Syntactic.Constructs.Construct.Construct
  50% (  1 /  2) in 'Language.Syntactic.Constructs.Construct'
Warning: Language.Syntactic.Constructs.Decoration: We do not support associated types in instances yet. These instances are affected:
Language.Syntactic.Constraint.Constrained expr =>
Language.Syntactic.Constraint.Constrained (Language.Syntactic.Constructs.Decoration.Decor info expr)
 100% ( 11 / 11) in 'Language.Syntactic.Constructs.Decoration'
Warning: Language.Syntactic.Constructs.Identity: We do not support associated types in instances yet. These instances are affected:
Language.Syntactic.Constraint.Constrained Language.Syntactic.Constructs.Identity.Identity
 100% (  2 /  2) in 'Language.Syntactic.Constructs.Identity'
Warning: Language.Syntactic.Constructs.Literal: We do not support associated types in instances yet. These instances are affected:
Language.Syntactic.Constraint.Constrained Language.Syntactic.Constructs.Literal.Literal
  50% (  1 /  2) in 'Language.Syntactic.Constructs.Literal'
Warning: Language.Syntactic.Constructs.Monad: We do not support associated types in instances yet. These instances are affected:
Language.Syntactic.Constraint.Constrained (Language.Syntactic.Constructs.Monad.MONAD m)
  67% (  2 /  3) in 'Language.Syntactic.Constructs.Monad'
Warning: Language.Syntactic.Constructs.Tuple: Instances of type and data families are not yet supported. Instances of the following families will be filtered out:
  Sel1', Sel2', Sel3', Sel4', Sel5', Sel6', Sel7', Sel8', Sel9', Sel10', Sel11', Sel12', Sel13', Sel14', Sel15'
Warning: Language.Syntactic.Constructs.Tuple: We do not support associated types in instances yet. These instances are affected:
Language.Syntactic.Constraint.Constrained Language.Syntactic.Constructs.Tuple.Tuple, Language.Syntactic.Constraint.Constrained Language.Syntactic.Constructs.Tuple.Select
  33% (  7 / 21) in 'Language.Syntactic.Constructs.Tuple'
Warning: Language.Syntactic.Frontend.Tuple: We do not support associated types in instances yet. These instances are affected:
(Language.Syntactic.Sugar.Syntactic a,
 Language.Syntactic.Sugar.Domain a ~ dom,
 Language.Syntactic.Sugar.Syntactic b,
 Language.Syntactic.Sugar.Domain b ~ dom,
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Tuple dom (Language.Syntactic.Sugar.Internal a,
                                                                                      Language.Syntactic.Sugar.Internal b),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal a),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal b)) =>
Language.Syntactic.Sugar.Syntactic (a, b), (Language.Syntactic.Sugar.Syntactic a,
 Language.Syntactic.Sugar.Domain a ~ dom,
 Language.Syntactic.Sugar.Syntactic b,
 Language.Syntactic.Sugar.Domain b ~ dom,
 Language.Syntactic.Sugar.Syntactic c,
 Language.Syntactic.Sugar.Domain c ~ dom,
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Tuple dom (Language.Syntactic.Sugar.Internal a,
                                                                                      Language.Syntactic.Sugar.Internal b,
                                                                                      Language.Syntactic.Sugar.Internal c),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal a),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal b),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal c)) =>
Language.Syntactic.Sugar.Syntactic (a, b, c), (Language.Syntactic.Sugar.Syntactic a,
 Language.Syntactic.Sugar.Domain a ~ dom,
 Language.Syntactic.Sugar.Syntactic b,
 Language.Syntactic.Sugar.Domain b ~ dom,
 Language.Syntactic.Sugar.Syntactic c,
 Language.Syntactic.Sugar.Domain c ~ dom,
 Language.Syntactic.Sugar.Syntactic d,
 Language.Syntactic.Sugar.Domain d ~ dom,
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Tuple dom (Language.Syntactic.Sugar.Internal a,
                                                                                      Language.Syntactic.Sugar.Internal b,
                                                                                      Language.Syntactic.Sugar.Internal c,
                                                                                      Language.Syntactic.Sugar.Internal d),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal a),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal b),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal c),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal d)) =>
Language.Syntactic.Sugar.Syntactic (a, b, c, d), (Language.Syntactic.Sugar.Syntactic a,
 Language.Syntactic.Sugar.Domain a ~ dom,
 Language.Syntactic.Sugar.Syntactic b,
 Language.Syntactic.Sugar.Domain b ~ dom,
 Language.Syntactic.Sugar.Syntactic c,
 Language.Syntactic.Sugar.Domain c ~ dom,
 Language.Syntactic.Sugar.Syntactic d,
 Language.Syntactic.Sugar.Domain d ~ dom,
 Language.Syntactic.Sugar.Syntactic e,
 Language.Syntactic.Sugar.Domain e ~ dom,
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Tuple dom (Language.Syntactic.Sugar.Internal a,
                                                                                      Language.Syntactic.Sugar.Internal b,
                                                                                      Language.Syntactic.Sugar.Internal c,
                                                                                      Language.Syntactic.Sugar.Internal d,
                                                                                      Language.Syntactic.Sugar.Internal e),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal a),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal b),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal c),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal d),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal e)) =>
Language.Syntactic.Sugar.Syntactic (a, b, c, d, e), (Language.Syntactic.Sugar.Syntactic a,
 Language.Syntactic.Sugar.Domain a ~ dom,
 Language.Syntactic.Sugar.Syntactic b,
 Language.Syntactic.Sugar.Domain b ~ dom,
 Language.Syntactic.Sugar.Syntactic c,
 Language.Syntactic.Sugar.Domain c ~ dom,
 Language.Syntactic.Sugar.Syntactic d,
 Language.Syntactic.Sugar.Domain d ~ dom,
 Language.Syntactic.Sugar.Syntactic e,
 Language.Syntactic.Sugar.Domain e ~ dom,
 Language.Syntactic.Sugar.Syntactic f,
 Language.Syntactic.Sugar.Domain f ~ dom,
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Tuple dom (Language.Syntactic.Sugar.Internal a,
                                                                                      Language.Syntactic.Sugar.Internal b,
                                                                                      Language.Syntactic.Sugar.Internal c,
                                                                                      Language.Syntactic.Sugar.Internal d,
                                                                                      Language.Syntactic.Sugar.Internal e,
                                                                                      Language.Syntactic.Sugar.Internal f),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal a),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal b),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal c),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal d),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal e),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal f)) =>
Language.Syntactic.Sugar.Syntactic (a, b, c, d, e, f), (Language.Syntactic.Sugar.Syntactic a,
 Language.Syntactic.Sugar.Domain a ~ dom,
 Language.Syntactic.Sugar.Syntactic b,
 Language.Syntactic.Sugar.Domain b ~ dom,
 Language.Syntactic.Sugar.Syntactic c,
 Language.Syntactic.Sugar.Domain c ~ dom,
 Language.Syntactic.Sugar.Syntactic d,
 Language.Syntactic.Sugar.Domain d ~ dom,
 Language.Syntactic.Sugar.Syntactic e,
 Language.Syntactic.Sugar.Domain e ~ dom,
 Language.Syntactic.Sugar.Syntactic f,
 Language.Syntactic.Sugar.Domain f ~ dom,
 Language.Syntactic.Sugar.Syntactic g,
 Language.Syntactic.Sugar.Domain g ~ dom,
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Tuple dom (Language.Syntactic.Sugar.Internal a,
                                                                                      Language.Syntactic.Sugar.Internal b,
                                                                                      Language.Syntactic.Sugar.Internal c,
                                                                                      Language.Syntactic.Sugar.Internal d,
                                                                                      Language.Syntactic.Sugar.Internal e,
                                                                                      Language.Syntactic.Sugar.Internal f,
                                                                                      Language.Syntactic.Sugar.Internal g),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal a),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal b),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal c),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal d),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal e),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal f),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal g)) =>
Language.Syntactic.Sugar.Syntactic (a, b, c, d, e, f, g), (Language.Syntactic.Sugar.Syntactic a,
 Language.Syntactic.Sugar.Domain a ~ dom,
 Language.Syntactic.Sugar.Syntactic b,
 Language.Syntactic.Sugar.Domain b ~ dom,
 Language.Syntactic.Sugar.Syntactic c,
 Language.Syntactic.Sugar.Domain c ~ dom,
 Language.Syntactic.Sugar.Syntactic d,
 Language.Syntactic.Sugar.Domain d ~ dom,
 Language.Syntactic.Sugar.Syntactic e,
 Language.Syntactic.Sugar.Domain e ~ dom,
 Language.Syntactic.Sugar.Syntactic f,
 Language.Syntactic.Sugar.Domain f ~ dom,
 Language.Syntactic.Sugar.Syntactic g,
 Language.Syntactic.Sugar.Domain g ~ dom,
 Language.Syntactic.Sugar.Syntactic h,
 Language.Syntactic.Sugar.Domain h ~ dom,
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Tuple dom (Language.Syntactic.Sugar.Internal a,
                                                                                      Language.Syntactic.Sugar.Internal b,
                                                                                      Language.Syntactic.Sugar.Internal c,
                                                                                      Language.Syntactic.Sugar.Internal d,
                                                                                      Language.Syntactic.Sugar.Internal e,
                                                                                      Language.Syntactic.Sugar.Internal f,
                                                                                      Language.Syntactic.Sugar.Internal g,
                                                                                      Language.Syntactic.Sugar.Internal h),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal a),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal b),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal c),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal d),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal e),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal f),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal g),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal h)) =>
Language.Syntactic.Sugar.Syntactic (a, b, c, d, e, f, g, h), (Language.Syntactic.Sugar.Syntactic a,
 Language.Syntactic.Sugar.Domain a ~ dom,
 Language.Syntactic.Sugar.Syntactic b,
 Language.Syntactic.Sugar.Domain b ~ dom,
 Language.Syntactic.Sugar.Syntactic c,
 Language.Syntactic.Sugar.Domain c ~ dom,
 Language.Syntactic.Sugar.Syntactic d,
 Language.Syntactic.Sugar.Domain d ~ dom,
 Language.Syntactic.Sugar.Syntactic e,
 Language.Syntactic.Sugar.Domain e ~ dom,
 Language.Syntactic.Sugar.Syntactic f,
 Language.Syntactic.Sugar.Domain f ~ dom,
 Language.Syntactic.Sugar.Syntactic g,
 Language.Syntactic.Sugar.Domain g ~ dom,
 Language.Syntactic.Sugar.Syntactic h,
 Language.Syntactic.Sugar.Domain h ~ dom,
 Language.Syntactic.Sugar.Syntactic i,
 Language.Syntactic.Sugar.Domain i ~ dom,
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Tuple dom (Language.Syntactic.Sugar.Internal a,
                                                                                      Language.Syntactic.Sugar.Internal b,
                                                                                      Language.Syntactic.Sugar.Internal c,
                                                                                      Language.Syntactic.Sugar.Internal d,
                                                                                      Language.Syntactic.Sugar.Internal e,
                                                                                      Language.Syntactic.Sugar.Internal f,
                                                                                      Language.Syntactic.Sugar.Internal g,
                                                                                      Language.Syntactic.Sugar.Internal h,
                                                                                      Language.Syntactic.Sugar.Internal i),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal a),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal b),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal c),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal d),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal e),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal f),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal g),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal h),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal i)) =>
Language.Syntactic.Sugar.Syntactic (a, b, c, d, e, f, g, h, i), (Language.Syntactic.Sugar.Syntactic a,
 Language.Syntactic.Sugar.Domain a ~ dom,
 Language.Syntactic.Sugar.Syntactic b,
 Language.Syntactic.Sugar.Domain b ~ dom,
 Language.Syntactic.Sugar.Syntactic c,
 Language.Syntactic.Sugar.Domain c ~ dom,
 Language.Syntactic.Sugar.Syntactic d,
 Language.Syntactic.Sugar.Domain d ~ dom,
 Language.Syntactic.Sugar.Syntactic e,
 Language.Syntactic.Sugar.Domain e ~ dom,
 Language.Syntactic.Sugar.Syntactic f,
 Language.Syntactic.Sugar.Domain f ~ dom,
 Language.Syntactic.Sugar.Syntactic g,
 Language.Syntactic.Sugar.Domain g ~ dom,
 Language.Syntactic.Sugar.Syntactic h,
 Language.Syntactic.Sugar.Domain h ~ dom,
 Language.Syntactic.Sugar.Syntactic i,
 Language.Syntactic.Sugar.Domain i ~ dom,
 Language.Syntactic.Sugar.Syntactic j,
 Language.Syntactic.Sugar.Domain j ~ dom,
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Tuple dom (Language.Syntactic.Sugar.Internal a,
                                                                                      Language.Syntactic.Sugar.Internal b,
                                                                                      Language.Syntactic.Sugar.Internal c,
                                                                                      Language.Syntactic.Sugar.Internal d,
                                                                                      Language.Syntactic.Sugar.Internal e,
                                                                                      Language.Syntactic.Sugar.Internal f,
                                                                                      Language.Syntactic.Sugar.Internal g,
                                                                                      Language.Syntactic.Sugar.Internal h,
                                                                                      Language.Syntactic.Sugar.Internal i,
                                                                                      Language.Syntactic.Sugar.Internal j),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal a),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal b),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal c),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal d),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal e),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal f),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal g),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal h),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal i),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal j)) =>
Language.Syntactic.Sugar.Syntactic (a, b, c, d, e, f, g, h, i, j), (Language.Syntactic.Sugar.Syntactic a,
 Language.Syntactic.Sugar.Domain a ~ dom,
 Language.Syntactic.Sugar.Syntactic b,
 Language.Syntactic.Sugar.Domain b ~ dom,
 Language.Syntactic.Sugar.Syntactic c,
 Language.Syntactic.Sugar.Domain c ~ dom,
 Language.Syntactic.Sugar.Syntactic d,
 Language.Syntactic.Sugar.Domain d ~ dom,
 Language.Syntactic.Sugar.Syntactic e,
 Language.Syntactic.Sugar.Domain e ~ dom,
 Language.Syntactic.Sugar.Syntactic f,
 Language.Syntactic.Sugar.Domain f ~ dom,
 Language.Syntactic.Sugar.Syntactic g,
 Language.Syntactic.Sugar.Domain g ~ dom,
 Language.Syntactic.Sugar.Syntactic h,
 Language.Syntactic.Sugar.Domain h ~ dom,
 Language.Syntactic.Sugar.Syntactic i,
 Language.Syntactic.Sugar.Domain i ~ dom,
 Language.Syntactic.Sugar.Syntactic j,
 Language.Syntactic.Sugar.Domain j ~ dom,
 Language.Syntactic.Sugar.Syntactic k,
 Language.Syntactic.Sugar.Domain k ~ dom,
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Tuple dom (Language.Syntactic.Sugar.Internal a,
                                                                                      Language.Syntactic.Sugar.Internal b,
                                                                                      Language.Syntactic.Sugar.Internal c,
                                                                                      Language.Syntactic.Sugar.Internal d,
                                                                                      Language.Syntactic.Sugar.Internal e,
                                                                                      Language.Syntactic.Sugar.Internal f,
                                                                                      Language.Syntactic.Sugar.Internal g,
                                                                                      Language.Syntactic.Sugar.Internal h,
                                                                                      Language.Syntactic.Sugar.Internal i,
                                                                                      Language.Syntactic.Sugar.Internal j,
                                                                                      Language.Syntactic.Sugar.Internal k),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal a),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal b),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal c),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal d),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal e),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal f),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal g),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal h),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal i),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal j),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal k)) =>
Language.Syntactic.Sugar.Syntactic (a,
                                    b,
                                    c,
                                    d,
                                    e,
                                    f,
                                    g,
                                    h,
                                    i,
                                    j,
                                    k), (Language.Syntactic.Sugar.Syntactic a,
 Language.Syntactic.Sugar.Domain a ~ dom,
 Language.Syntactic.Sugar.Syntactic b,
 Language.Syntactic.Sugar.Domain b ~ dom,
 Language.Syntactic.Sugar.Syntactic c,
 Language.Syntactic.Sugar.Domain c ~ dom,
 Language.Syntactic.Sugar.Syntactic d,
 Language.Syntactic.Sugar.Domain d ~ dom,
 Language.Syntactic.Sugar.Syntactic e,
 Language.Syntactic.Sugar.Domain e ~ dom,
 Language.Syntactic.Sugar.Syntactic f,
 Language.Syntactic.Sugar.Domain f ~ dom,
 Language.Syntactic.Sugar.Syntactic g,
 Language.Syntactic.Sugar.Domain g ~ dom,
 Language.Syntactic.Sugar.Syntactic h,
 Language.Syntactic.Sugar.Domain h ~ dom,
 Language.Syntactic.Sugar.Syntactic i,
 Language.Syntactic.Sugar.Domain i ~ dom,
 Language.Syntactic.Sugar.Syntactic j,
 Language.Syntactic.Sugar.Domain j ~ dom,
 Language.Syntactic.Sugar.Syntactic k,
 Language.Syntactic.Sugar.Domain k ~ dom,
 Language.Syntactic.Sugar.Syntactic l,
 Language.Syntactic.Sugar.Domain l ~ dom,
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Tuple dom (Language.Syntactic.Sugar.Internal a,
                                                                                      Language.Syntactic.Sugar.Internal b,
                                                                                      Language.Syntactic.Sugar.Internal c,
                                                                                      Language.Syntactic.Sugar.Internal d,
                                                                                      Language.Syntactic.Sugar.Internal e,
                                                                                      Language.Syntactic.Sugar.Internal f,
                                                                                      Language.Syntactic.Sugar.Internal g,
                                                                                      Language.Syntactic.Sugar.Internal h,
                                                                                      Language.Syntactic.Sugar.Internal i,
                                                                                      Language.Syntactic.Sugar.Internal j,
                                                                                      Language.Syntactic.Sugar.Internal k,
                                                                                      Language.Syntactic.Sugar.Internal l),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal a),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal b),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal c),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal d),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal e),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal f),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal g),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal h),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal i),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal j),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal k),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal l)) =>
Language.Syntactic.Sugar.Syntactic (a,
                                    b,
                                    c,
                                    d,
                                    e,
                                    f,
                                    g,
                                    h,
                                    i,
                                    j,
                                    k,
                                    l), (Language.Syntactic.Sugar.Syntactic a,
 Language.Syntactic.Sugar.Domain a ~ dom,
 Language.Syntactic.Sugar.Syntactic b,
 Language.Syntactic.Sugar.Domain b ~ dom,
 Language.Syntactic.Sugar.Syntactic c,
 Language.Syntactic.Sugar.Domain c ~ dom,
 Language.Syntactic.Sugar.Syntactic d,
 Language.Syntactic.Sugar.Domain d ~ dom,
 Language.Syntactic.Sugar.Syntactic e,
 Language.Syntactic.Sugar.Domain e ~ dom,
 Language.Syntactic.Sugar.Syntactic f,
 Language.Syntactic.Sugar.Domain f ~ dom,
 Language.Syntactic.Sugar.Syntactic g,
 Language.Syntactic.Sugar.Domain g ~ dom,
 Language.Syntactic.Sugar.Syntactic h,
 Language.Syntactic.Sugar.Domain h ~ dom,
 Language.Syntactic.Sugar.Syntactic i,
 Language.Syntactic.Sugar.Domain i ~ dom,
 Language.Syntactic.Sugar.Syntactic j,
 Language.Syntactic.Sugar.Domain j ~ dom,
 Language.Syntactic.Sugar.Syntactic k,
 Language.Syntactic.Sugar.Domain k ~ dom,
 Language.Syntactic.Sugar.Syntactic l,
 Language.Syntactic.Sugar.Domain l ~ dom,
 Language.Syntactic.Sugar.Syntactic m,
 Language.Syntactic.Sugar.Domain m ~ dom,
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Tuple dom (Language.Syntactic.Sugar.Internal a,
                                                                                      Language.Syntactic.Sugar.Internal b,
                                                                                      Language.Syntactic.Sugar.Internal c,
                                                                                      Language.Syntactic.Sugar.Internal d,
                                                                                      Language.Syntactic.Sugar.Internal e,
                                                                                      Language.Syntactic.Sugar.Internal f,
                                                                                      Language.Syntactic.Sugar.Internal g,
                                                                                      Language.Syntactic.Sugar.Internal h,
                                                                                      Language.Syntactic.Sugar.Internal i,
                                                                                      Language.Syntactic.Sugar.Internal j,
                                                                                      Language.Syntactic.Sugar.Internal k,
                                                                                      Language.Syntactic.Sugar.Internal l,
                                                                                      Language.Syntactic.Sugar.Internal m),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal a),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal b),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal c),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal d),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal e),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal f),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal g),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal h),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal i),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal j),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal k),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal l),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal m)) =>
Language.Syntactic.Sugar.Syntactic (a,
                                    b,
                                    c,
                                    d,
                                    e,
                                    f,
                                    g,
                                    h,
                                    i,
                                    j,
                                    k,
                                    l,
                                    m), (Language.Syntactic.Sugar.Syntactic a,
 Language.Syntactic.Sugar.Domain a ~ dom,
 Language.Syntactic.Sugar.Syntactic b,
 Language.Syntactic.Sugar.Domain b ~ dom,
 Language.Syntactic.Sugar.Syntactic c,
 Language.Syntactic.Sugar.Domain c ~ dom,
 Language.Syntactic.Sugar.Syntactic d,
 Language.Syntactic.Sugar.Domain d ~ dom,
 Language.Syntactic.Sugar.Syntactic e,
 Language.Syntactic.Sugar.Domain e ~ dom,
 Language.Syntactic.Sugar.Syntactic f,
 Language.Syntactic.Sugar.Domain f ~ dom,
 Language.Syntactic.Sugar.Syntactic g,
 Language.Syntactic.Sugar.Domain g ~ dom,
 Language.Syntactic.Sugar.Syntactic h,
 Language.Syntactic.Sugar.Domain h ~ dom,
 Language.Syntactic.Sugar.Syntactic i,
 Language.Syntactic.Sugar.Domain i ~ dom,
 Language.Syntactic.Sugar.Syntactic j,
 Language.Syntactic.Sugar.Domain j ~ dom,
 Language.Syntactic.Sugar.Syntactic k,
 Language.Syntactic.Sugar.Domain k ~ dom,
 Language.Syntactic.Sugar.Syntactic l,
 Language.Syntactic.Sugar.Domain l ~ dom,
 Language.Syntactic.Sugar.Syntactic m,
 Language.Syntactic.Sugar.Domain m ~ dom,
 Language.Syntactic.Sugar.Syntactic n,
 Language.Syntactic.Sugar.Domain n ~ dom,
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Tuple dom (Language.Syntactic.Sugar.Internal a,
                                                                                      Language.Syntactic.Sugar.Internal b,
                                                                                      Language.Syntactic.Sugar.Internal c,
                                                                                      Language.Syntactic.Sugar.Internal d,
                                                                                      Language.Syntactic.Sugar.Internal e,
                                                                                      Language.Syntactic.Sugar.Internal f,
                                                                                      Language.Syntactic.Sugar.Internal g,
                                                                                      Language.Syntactic.Sugar.Internal h,
                                                                                      Language.Syntactic.Sugar.Internal i,
                                                                                      Language.Syntactic.Sugar.Internal j,
                                                                                      Language.Syntactic.Sugar.Internal k,
                                                                                      Language.Syntactic.Sugar.Internal l,
                                                                                      Language.Syntactic.Sugar.Internal m,
                                                                                      Language.Syntactic.Sugar.Internal n),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal a),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal b),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal c),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal d),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal e),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal f),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal g),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal h),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal i),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal j),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal k),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal l),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal m),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal n)) =>
Language.Syntactic.Sugar.Syntactic (a,
                                    b,
                                    c,
                                    d,
                                    e,
                                    f,
                                    g,
                                    h,
                                    i,
                                    j,
                                    k,
                                    l,
                                    m,
                                    n), (Language.Syntactic.Sugar.Syntactic a,
 Language.Syntactic.Sugar.Domain a ~ dom,
 Language.Syntactic.Sugar.Syntactic b,
 Language.Syntactic.Sugar.Domain b ~ dom,
 Language.Syntactic.Sugar.Syntactic c,
 Language.Syntactic.Sugar.Domain c ~ dom,
 Language.Syntactic.Sugar.Syntactic d,
 Language.Syntactic.Sugar.Domain d ~ dom,
 Language.Syntactic.Sugar.Syntactic e,
 Language.Syntactic.Sugar.Domain e ~ dom,
 Language.Syntactic.Sugar.Syntactic f,
 Language.Syntactic.Sugar.Domain f ~ dom,
 Language.Syntactic.Sugar.Syntactic g,
 Language.Syntactic.Sugar.Domain g ~ dom,
 Language.Syntactic.Sugar.Syntactic h,
 Language.Syntactic.Sugar.Domain h ~ dom,
 Language.Syntactic.Sugar.Syntactic i,
 Language.Syntactic.Sugar.Domain i ~ dom,
 Language.Syntactic.Sugar.Syntactic j,
 Language.Syntactic.Sugar.Domain j ~ dom,
 Language.Syntactic.Sugar.Syntactic k,
 Language.Syntactic.Sugar.Domain k ~ dom,
 Language.Syntactic.Sugar.Syntactic l,
 Language.Syntactic.Sugar.Domain l ~ dom,
 Language.Syntactic.Sugar.Syntactic m,
 Language.Syntactic.Sugar.Domain m ~ dom,
 Language.Syntactic.Sugar.Syntactic n,
 Language.Syntactic.Sugar.Domain n ~ dom,
 Language.Syntactic.Sugar.Syntactic o,
 Language.Syntactic.Sugar.Domain o ~ dom,
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Tuple dom (Language.Syntactic.Sugar.Internal a,
                                                                                      Language.Syntactic.Sugar.Internal b,
                                                                                      Language.Syntactic.Sugar.Internal c,
                                                                                      Language.Syntactic.Sugar.Internal d,
                                                                                      Language.Syntactic.Sugar.Internal e,
                                                                                      Language.Syntactic.Sugar.Internal f,
                                                                                      Language.Syntactic.Sugar.Internal g,
                                                                                      Language.Syntactic.Sugar.Internal h,
                                                                                      Language.Syntactic.Sugar.Internal i,
                                                                                      Language.Syntactic.Sugar.Internal j,
                                                                                      Language.Syntactic.Sugar.Internal k,
                                                                                      Language.Syntactic.Sugar.Internal l,
                                                                                      Language.Syntactic.Sugar.Internal m,
                                                                                      Language.Syntactic.Sugar.Internal n,
                                                                                      Language.Syntactic.Sugar.Internal o),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal a),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal b),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal c),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal d),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal e),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal f),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal g),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal h),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal i),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal j),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal k),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal l),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal m),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal n),
 Language.Syntactic.Constraint.InjectC Language.Syntactic.Constructs.Tuple.Select dom (Language.Syntactic.Sugar.Internal o)) =>
Language.Syntactic.Sugar.Syntactic (a,
                                    b,
                                    c,
                                    d,
                                    e,
                                    f,
                                    g,
                                    h,
                                    i,
                                    j,
                                    k,
                                    l,
                                    m,
                                    n,
                                    o)
 100% (  1 /  1) in 'Language.Syntactic.Frontend.Tuple'
Warning: Language.Syntactic.Frontend.TupleConstrained: We do not support associated types in instances yet. These instances are affected:
(Language.Syntactic.Sugar.Syntactic a,
 Language.Syntactic.Sugar.Domain a ~ dom,
 Language.Syntactic.Sugar.Syntactic b,
 Language.Syntactic.Sugar.Domain b ~ dom,
 Language.Syntactic.Frontend.TupleConstrained.TupleSat dom p,
 p (Language.Syntactic.Sugar.Internal a,
    Language.Syntactic.Sugar.Internal b),
 p (Language.Syntactic.Sugar.Internal a),
 p (Language.Syntactic.Sugar.Internal b),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Tuple Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a,
                                                                                                                            Language.Syntactic.Sugar.Internal b),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal b)) =>
Language.Syntactic.Sugar.Syntactic (a, b), (Language.Syntactic.Sugar.Syntactic a,
 Language.Syntactic.Sugar.Domain a ~ dom,
 Language.Syntactic.Sugar.Syntactic b,
 Language.Syntactic.Sugar.Domain b ~ dom,
 Language.Syntactic.Sugar.Syntactic c,
 Language.Syntactic.Sugar.Domain c ~ dom,
 Language.Syntactic.Frontend.TupleConstrained.TupleSat dom p,
 p (Language.Syntactic.Sugar.Internal a,
    Language.Syntactic.Sugar.Internal b,
    Language.Syntactic.Sugar.Internal c),
 p (Language.Syntactic.Sugar.Internal a),
 p (Language.Syntactic.Sugar.Internal b),
 p (Language.Syntactic.Sugar.Internal c),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Tuple Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a,
                                                                                                                            Language.Syntactic.Sugar.Internal b,
                                                                                                                            Language.Syntactic.Sugar.Internal c),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal b),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal c)) =>
Language.Syntactic.Sugar.Syntactic (a, b, c), (Language.Syntactic.Sugar.Syntactic a,
 Language.Syntactic.Sugar.Domain a ~ dom,
 Language.Syntactic.Sugar.Syntactic b,
 Language.Syntactic.Sugar.Domain b ~ dom,
 Language.Syntactic.Sugar.Syntactic c,
 Language.Syntactic.Sugar.Domain c ~ dom,
 Language.Syntactic.Sugar.Syntactic d,
 Language.Syntactic.Sugar.Domain d ~ dom,
 Language.Syntactic.Frontend.TupleConstrained.TupleSat dom p,
 p (Language.Syntactic.Sugar.Internal a,
    Language.Syntactic.Sugar.Internal b,
    Language.Syntactic.Sugar.Internal c,
    Language.Syntactic.Sugar.Internal d),
 p (Language.Syntactic.Sugar.Internal a),
 p (Language.Syntactic.Sugar.Internal b),
 p (Language.Syntactic.Sugar.Internal c),
 p (Language.Syntactic.Sugar.Internal d),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Tuple Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a,
                                                                                                                            Language.Syntactic.Sugar.Internal b,
                                                                                                                            Language.Syntactic.Sugar.Internal c,
                                                                                                                            Language.Syntactic.Sugar.Internal d),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal b),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal c),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal d)) =>
Language.Syntactic.Sugar.Syntactic (a, b, c, d), (Language.Syntactic.Sugar.Syntactic a,
 Language.Syntactic.Sugar.Domain a ~ dom,
 Language.Syntactic.Sugar.Syntactic b,
 Language.Syntactic.Sugar.Domain b ~ dom,
 Language.Syntactic.Sugar.Syntactic c,
 Language.Syntactic.Sugar.Domain c ~ dom,
 Language.Syntactic.Sugar.Syntactic d,
 Language.Syntactic.Sugar.Domain d ~ dom,
 Language.Syntactic.Sugar.Syntactic e,
 Language.Syntactic.Sugar.Domain e ~ dom,
 Language.Syntactic.Frontend.TupleConstrained.TupleSat dom p,
 p (Language.Syntactic.Sugar.Internal a,
    Language.Syntactic.Sugar.Internal b,
    Language.Syntactic.Sugar.Internal c,
    Language.Syntactic.Sugar.Internal d,
    Language.Syntactic.Sugar.Internal e),
 p (Language.Syntactic.Sugar.Internal a),
 p (Language.Syntactic.Sugar.Internal b),
 p (Language.Syntactic.Sugar.Internal c),
 p (Language.Syntactic.Sugar.Internal d),
 p (Language.Syntactic.Sugar.Internal e),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Tuple Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a,
                                                                                                                            Language.Syntactic.Sugar.Internal b,
                                                                                                                            Language.Syntactic.Sugar.Internal c,
                                                                                                                            Language.Syntactic.Sugar.Internal d,
                                                                                                                            Language.Syntactic.Sugar.Internal e),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal b),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal c),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal d),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal e)) =>
Language.Syntactic.Sugar.Syntactic (a, b, c, d, e), (Language.Syntactic.Sugar.Syntactic a,
 Language.Syntactic.Sugar.Domain a ~ dom,
 Language.Syntactic.Sugar.Syntactic b,
 Language.Syntactic.Sugar.Domain b ~ dom,
 Language.Syntactic.Sugar.Syntactic c,
 Language.Syntactic.Sugar.Domain c ~ dom,
 Language.Syntactic.Sugar.Syntactic d,
 Language.Syntactic.Sugar.Domain d ~ dom,
 Language.Syntactic.Sugar.Syntactic e,
 Language.Syntactic.Sugar.Domain e ~ dom,
 Language.Syntactic.Sugar.Syntactic f,
 Language.Syntactic.Sugar.Domain f ~ dom,
 Language.Syntactic.Frontend.TupleConstrained.TupleSat dom p,
 p (Language.Syntactic.Sugar.Internal a,
    Language.Syntactic.Sugar.Internal b,
    Language.Syntactic.Sugar.Internal c,
    Language.Syntactic.Sugar.Internal d,
    Language.Syntactic.Sugar.Internal e,
    Language.Syntactic.Sugar.Internal f),
 p (Language.Syntactic.Sugar.Internal a),
 p (Language.Syntactic.Sugar.Internal b),
 p (Language.Syntactic.Sugar.Internal c),
 p (Language.Syntactic.Sugar.Internal d),
 p (Language.Syntactic.Sugar.Internal e),
 p (Language.Syntactic.Sugar.Internal f),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Tuple Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a,
                                                                                                                            Language.Syntactic.Sugar.Internal b,
                                                                                                                            Language.Syntactic.Sugar.Internal c,
                                                                                                                            Language.Syntactic.Sugar.Internal d,
                                                                                                                            Language.Syntactic.Sugar.Internal e,
                                                                                                                            Language.Syntactic.Sugar.Internal f),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal b),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal c),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal d),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal e),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal f)) =>
Language.Syntactic.Sugar.Syntactic (a, b, c, d, e, f), (Language.Syntactic.Sugar.Syntactic a,
 Language.Syntactic.Sugar.Domain a ~ dom,
 Language.Syntactic.Sugar.Syntactic b,
 Language.Syntactic.Sugar.Domain b ~ dom,
 Language.Syntactic.Sugar.Syntactic c,
 Language.Syntactic.Sugar.Domain c ~ dom,
 Language.Syntactic.Sugar.Syntactic d,
 Language.Syntactic.Sugar.Domain d ~ dom,
 Language.Syntactic.Sugar.Syntactic e,
 Language.Syntactic.Sugar.Domain e ~ dom,
 Language.Syntactic.Sugar.Syntactic f,
 Language.Syntactic.Sugar.Domain f ~ dom,
 Language.Syntactic.Sugar.Syntactic g,
 Language.Syntactic.Sugar.Domain g ~ dom,
 Language.Syntactic.Frontend.TupleConstrained.TupleSat dom p,
 p (Language.Syntactic.Sugar.Internal a,
    Language.Syntactic.Sugar.Internal b,
    Language.Syntactic.Sugar.Internal c,
    Language.Syntactic.Sugar.Internal d,
    Language.Syntactic.Sugar.Internal e,
    Language.Syntactic.Sugar.Internal f,
    Language.Syntactic.Sugar.Internal g),
 p (Language.Syntactic.Sugar.Internal a),
 p (Language.Syntactic.Sugar.Internal b),
 p (Language.Syntactic.Sugar.Internal c),
 p (Language.Syntactic.Sugar.Internal d),
 p (Language.Syntactic.Sugar.Internal e),
 p (Language.Syntactic.Sugar.Internal f),
 p (Language.Syntactic.Sugar.Internal g),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Tuple Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a,
                                                                                                                            Language.Syntactic.Sugar.Internal b,
                                                                                                                            Language.Syntactic.Sugar.Internal c,
                                                                                                                            Language.Syntactic.Sugar.Internal d,
                                                                                                                            Language.Syntactic.Sugar.Internal e,
                                                                                                                            Language.Syntactic.Sugar.Internal f,
                                                                                                                            Language.Syntactic.Sugar.Internal g),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal b),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal c),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal d),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal e),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal f),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal g)) =>
Language.Syntactic.Sugar.Syntactic (a, b, c, d, e, f, g), (Language.Syntactic.Sugar.Syntactic a,
 Language.Syntactic.Sugar.Domain a ~ dom,
 Language.Syntactic.Sugar.Syntactic b,
 Language.Syntactic.Sugar.Domain b ~ dom,
 Language.Syntactic.Sugar.Syntactic c,
 Language.Syntactic.Sugar.Domain c ~ dom,
 Language.Syntactic.Sugar.Syntactic d,
 Language.Syntactic.Sugar.Domain d ~ dom,
 Language.Syntactic.Sugar.Syntactic e,
 Language.Syntactic.Sugar.Domain e ~ dom,
 Language.Syntactic.Sugar.Syntactic f,
 Language.Syntactic.Sugar.Domain f ~ dom,
 Language.Syntactic.Sugar.Syntactic g,
 Language.Syntactic.Sugar.Domain g ~ dom,
 Language.Syntactic.Sugar.Syntactic h,
 Language.Syntactic.Sugar.Domain h ~ dom,
 Language.Syntactic.Frontend.TupleConstrained.TupleSat dom p,
 p (Language.Syntactic.Sugar.Internal a,
    Language.Syntactic.Sugar.Internal b,
    Language.Syntactic.Sugar.Internal c,
    Language.Syntactic.Sugar.Internal d,
    Language.Syntactic.Sugar.Internal e,
    Language.Syntactic.Sugar.Internal f,
    Language.Syntactic.Sugar.Internal g,
    Language.Syntactic.Sugar.Internal h),
 p (Language.Syntactic.Sugar.Internal a),
 p (Language.Syntactic.Sugar.Internal b),
 p (Language.Syntactic.Sugar.Internal c),
 p (Language.Syntactic.Sugar.Internal d),
 p (Language.Syntactic.Sugar.Internal e),
 p (Language.Syntactic.Sugar.Internal f),
 p (Language.Syntactic.Sugar.Internal g),
 p (Language.Syntactic.Sugar.Internal h),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Tuple Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a,
                                                                                                                            Language.Syntactic.Sugar.Internal b,
                                                                                                                            Language.Syntactic.Sugar.Internal c,
                                                                                                                            Language.Syntactic.Sugar.Internal d,
                                                                                                                            Language.Syntactic.Sugar.Internal e,
                                                                                                                            Language.Syntactic.Sugar.Internal f,
                                                                                                                            Language.Syntactic.Sugar.Internal g,
                                                                                                                            Language.Syntactic.Sugar.Internal h),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal b),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal c),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal d),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal e),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal f),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal g),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal h)) =>
Language.Syntactic.Sugar.Syntactic (a, b, c, d, e, f, g, h), (Language.Syntactic.Sugar.Syntactic a,
 Language.Syntactic.Sugar.Domain a ~ dom,
 Language.Syntactic.Sugar.Syntactic b,
 Language.Syntactic.Sugar.Domain b ~ dom,
 Language.Syntactic.Sugar.Syntactic c,
 Language.Syntactic.Sugar.Domain c ~ dom,
 Language.Syntactic.Sugar.Syntactic d,
 Language.Syntactic.Sugar.Domain d ~ dom,
 Language.Syntactic.Sugar.Syntactic e,
 Language.Syntactic.Sugar.Domain e ~ dom,
 Language.Syntactic.Sugar.Syntactic f,
 Language.Syntactic.Sugar.Domain f ~ dom,
 Language.Syntactic.Sugar.Syntactic g,
 Language.Syntactic.Sugar.Domain g ~ dom,
 Language.Syntactic.Sugar.Syntactic h,
 Language.Syntactic.Sugar.Domain h ~ dom,
 Language.Syntactic.Sugar.Syntactic i,
 Language.Syntactic.Sugar.Domain i ~ dom,
 Language.Syntactic.Frontend.TupleConstrained.TupleSat dom p,
 p (Language.Syntactic.Sugar.Internal a,
    Language.Syntactic.Sugar.Internal b,
    Language.Syntactic.Sugar.Internal c,
    Language.Syntactic.Sugar.Internal d,
    Language.Syntactic.Sugar.Internal e,
    Language.Syntactic.Sugar.Internal f,
    Language.Syntactic.Sugar.Internal g,
    Language.Syntactic.Sugar.Internal h,
    Language.Syntactic.Sugar.Internal i),
 p (Language.Syntactic.Sugar.Internal a),
 p (Language.Syntactic.Sugar.Internal b),
 p (Language.Syntactic.Sugar.Internal c),
 p (Language.Syntactic.Sugar.Internal d),
 p (Language.Syntactic.Sugar.Internal e),
 p (Language.Syntactic.Sugar.Internal f),
 p (Language.Syntactic.Sugar.Internal g),
 p (Language.Syntactic.Sugar.Internal h),
 p (Language.Syntactic.Sugar.Internal i),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Tuple Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a,
                                                                                                                            Language.Syntactic.Sugar.Internal b,
                                                                                                                            Language.Syntactic.Sugar.Internal c,
                                                                                                                            Language.Syntactic.Sugar.Internal d,
                                                                                                                            Language.Syntactic.Sugar.Internal e,
                                                                                                                            Language.Syntactic.Sugar.Internal f,
                                                                                                                            Language.Syntactic.Sugar.Internal g,
                                                                                                                            Language.Syntactic.Sugar.Internal h,
                                                                                                                            Language.Syntactic.Sugar.Internal i),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal b),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal c),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal d),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal e),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal f),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal g),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal h),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal i)) =>
Language.Syntactic.Sugar.Syntactic (a, b, c, d, e, f, g, h, i), (Language.Syntactic.Sugar.Syntactic a,
 Language.Syntactic.Sugar.Domain a ~ dom,
 Language.Syntactic.Sugar.Syntactic b,
 Language.Syntactic.Sugar.Domain b ~ dom,
 Language.Syntactic.Sugar.Syntactic c,
 Language.Syntactic.Sugar.Domain c ~ dom,
 Language.Syntactic.Sugar.Syntactic d,
 Language.Syntactic.Sugar.Domain d ~ dom,
 Language.Syntactic.Sugar.Syntactic e,
 Language.Syntactic.Sugar.Domain e ~ dom,
 Language.Syntactic.Sugar.Syntactic f,
 Language.Syntactic.Sugar.Domain f ~ dom,
 Language.Syntactic.Sugar.Syntactic g,
 Language.Syntactic.Sugar.Domain g ~ dom,
 Language.Syntactic.Sugar.Syntactic h,
 Language.Syntactic.Sugar.Domain h ~ dom,
 Language.Syntactic.Sugar.Syntactic i,
 Language.Syntactic.Sugar.Domain i ~ dom,
 Language.Syntactic.Sugar.Syntactic j,
 Language.Syntactic.Sugar.Domain j ~ dom,
 Language.Syntactic.Frontend.TupleConstrained.TupleSat dom p,
 p (Language.Syntactic.Sugar.Internal a,
    Language.Syntactic.Sugar.Internal b,
    Language.Syntactic.Sugar.Internal c,
    Language.Syntactic.Sugar.Internal d,
    Language.Syntactic.Sugar.Internal e,
    Language.Syntactic.Sugar.Internal f,
    Language.Syntactic.Sugar.Internal g,
    Language.Syntactic.Sugar.Internal h,
    Language.Syntactic.Sugar.Internal i,
    Language.Syntactic.Sugar.Internal j),
 p (Language.Syntactic.Sugar.Internal a),
 p (Language.Syntactic.Sugar.Internal b),
 p (Language.Syntactic.Sugar.Internal c),
 p (Language.Syntactic.Sugar.Internal d),
 p (Language.Syntactic.Sugar.Internal e),
 p (Language.Syntactic.Sugar.Internal f),
 p (Language.Syntactic.Sugar.Internal g),
 p (Language.Syntactic.Sugar.Internal h),
 p (Language.Syntactic.Sugar.Internal i),
 p (Language.Syntactic.Sugar.Internal j),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Tuple Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a,
                                                                                                                            Language.Syntactic.Sugar.Internal b,
                                                                                                                            Language.Syntactic.Sugar.Internal c,
                                                                                                                            Language.Syntactic.Sugar.Internal d,
                                                                                                                            Language.Syntactic.Sugar.Internal e,
                                                                                                                            Language.Syntactic.Sugar.Internal f,
                                                                                                                            Language.Syntactic.Sugar.Internal g,
                                                                                                                            Language.Syntactic.Sugar.Internal h,
                                                                                                                            Language.Syntactic.Sugar.Internal i,
                                                                                                                            Language.Syntactic.Sugar.Internal j),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal b),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal c),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal d),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal e),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal f),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal g),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal h),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal i),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal j)) =>
Language.Syntactic.Sugar.Syntactic (a, b, c, d, e, f, g, h, i, j), (Language.Syntactic.Sugar.Syntactic a,
 Language.Syntactic.Sugar.Domain a ~ dom,
 Language.Syntactic.Sugar.Syntactic b,
 Language.Syntactic.Sugar.Domain b ~ dom,
 Language.Syntactic.Sugar.Syntactic c,
 Language.Syntactic.Sugar.Domain c ~ dom,
 Language.Syntactic.Sugar.Syntactic d,
 Language.Syntactic.Sugar.Domain d ~ dom,
 Language.Syntactic.Sugar.Syntactic e,
 Language.Syntactic.Sugar.Domain e ~ dom,
 Language.Syntactic.Sugar.Syntactic f,
 Language.Syntactic.Sugar.Domain f ~ dom,
 Language.Syntactic.Sugar.Syntactic g,
 Language.Syntactic.Sugar.Domain g ~ dom,
 Language.Syntactic.Sugar.Syntactic h,
 Language.Syntactic.Sugar.Domain h ~ dom,
 Language.Syntactic.Sugar.Syntactic i,
 Language.Syntactic.Sugar.Domain i ~ dom,
 Language.Syntactic.Sugar.Syntactic j,
 Language.Syntactic.Sugar.Domain j ~ dom,
 Language.Syntactic.Sugar.Syntactic k,
 Language.Syntactic.Sugar.Domain k ~ dom,
 Language.Syntactic.Frontend.TupleConstrained.TupleSat dom p,
 p (Language.Syntactic.Sugar.Internal a,
    Language.Syntactic.Sugar.Internal b,
    Language.Syntactic.Sugar.Internal c,
    Language.Syntactic.Sugar.Internal d,
    Language.Syntactic.Sugar.Internal e,
    Language.Syntactic.Sugar.Internal f,
    Language.Syntactic.Sugar.Internal g,
    Language.Syntactic.Sugar.Internal h,
    Language.Syntactic.Sugar.Internal i,
    Language.Syntactic.Sugar.Internal j,
    Language.Syntactic.Sugar.Internal k),
 p (Language.Syntactic.Sugar.Internal a),
 p (Language.Syntactic.Sugar.Internal b),
 p (Language.Syntactic.Sugar.Internal c),
 p (Language.Syntactic.Sugar.Internal d),
 p (Language.Syntactic.Sugar.Internal e),
 p (Language.Syntactic.Sugar.Internal f),
 p (Language.Syntactic.Sugar.Internal g),
 p (Language.Syntactic.Sugar.Internal h),
 p (Language.Syntactic.Sugar.Internal i),
 p (Language.Syntactic.Sugar.Internal j),
 p (Language.Syntactic.Sugar.Internal k),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Tuple Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a,
                                                                                                                            Language.Syntactic.Sugar.Internal b,
                                                                                                                            Language.Syntactic.Sugar.Internal c,
                                                                                                                            Language.Syntactic.Sugar.Internal d,
                                                                                                                            Language.Syntactic.Sugar.Internal e,
                                                                                                                            Language.Syntactic.Sugar.Internal f,
                                                                                                                            Language.Syntactic.Sugar.Internal g,
                                                                                                                            Language.Syntactic.Sugar.Internal h,
                                                                                                                            Language.Syntactic.Sugar.Internal i,
                                                                                                                            Language.Syntactic.Sugar.Internal j,
                                                                                                                            Language.Syntactic.Sugar.Internal k),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal b),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal c),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal d),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal e),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal f),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal g),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal h),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal i),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal j),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal k)) =>
Language.Syntactic.Sugar.Syntactic (a,
                                    b,
                                    c,
                                    d,
                                    e,
                                    f,
                                    g,
                                    h,
                                    i,
                                    j,
                                    k), (Language.Syntactic.Sugar.Syntactic a,
 Language.Syntactic.Sugar.Domain a ~ dom,
 Language.Syntactic.Sugar.Syntactic b,
 Language.Syntactic.Sugar.Domain b ~ dom,
 Language.Syntactic.Sugar.Syntactic c,
 Language.Syntactic.Sugar.Domain c ~ dom,
 Language.Syntactic.Sugar.Syntactic d,
 Language.Syntactic.Sugar.Domain d ~ dom,
 Language.Syntactic.Sugar.Syntactic e,
 Language.Syntactic.Sugar.Domain e ~ dom,
 Language.Syntactic.Sugar.Syntactic f,
 Language.Syntactic.Sugar.Domain f ~ dom,
 Language.Syntactic.Sugar.Syntactic g,
 Language.Syntactic.Sugar.Domain g ~ dom,
 Language.Syntactic.Sugar.Syntactic h,
 Language.Syntactic.Sugar.Domain h ~ dom,
 Language.Syntactic.Sugar.Syntactic i,
 Language.Syntactic.Sugar.Domain i ~ dom,
 Language.Syntactic.Sugar.Syntactic j,
 Language.Syntactic.Sugar.Domain j ~ dom,
 Language.Syntactic.Sugar.Syntactic k,
 Language.Syntactic.Sugar.Domain k ~ dom,
 Language.Syntactic.Sugar.Syntactic l,
 Language.Syntactic.Sugar.Domain l ~ dom,
 Language.Syntactic.Frontend.TupleConstrained.TupleSat dom p,
 p (Language.Syntactic.Sugar.Internal a,
    Language.Syntactic.Sugar.Internal b,
    Language.Syntactic.Sugar.Internal c,
    Language.Syntactic.Sugar.Internal d,
    Language.Syntactic.Sugar.Internal e,
    Language.Syntactic.Sugar.Internal f,
    Language.Syntactic.Sugar.Internal g,
    Language.Syntactic.Sugar.Internal h,
    Language.Syntactic.Sugar.Internal i,
    Language.Syntactic.Sugar.Internal j,
    Language.Syntactic.Sugar.Internal k,
    Language.Syntactic.Sugar.Internal l),
 p (Language.Syntactic.Sugar.Internal a),
 p (Language.Syntactic.Sugar.Internal b),
 p (Language.Syntactic.Sugar.Internal c),
 p (Language.Syntactic.Sugar.Internal d),
 p (Language.Syntactic.Sugar.Internal e),
 p (Language.Syntactic.Sugar.Internal f),
 p (Language.Syntactic.Sugar.Internal g),
 p (Language.Syntactic.Sugar.Internal h),
 p (Language.Syntactic.Sugar.Internal i),
 p (Language.Syntactic.Sugar.Internal j),
 p (Language.Syntactic.Sugar.Internal k),
 p (Language.Syntactic.Sugar.Internal l),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Tuple Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a,
                                                                                                                            Language.Syntactic.Sugar.Internal b,
                                                                                                                            Language.Syntactic.Sugar.Internal c,
                                                                                                                            Language.Syntactic.Sugar.Internal d,
                                                                                                                            Language.Syntactic.Sugar.Internal e,
                                                                                                                            Language.Syntactic.Sugar.Internal f,
                                                                                                                            Language.Syntactic.Sugar.Internal g,
                                                                                                                            Language.Syntactic.Sugar.Internal h,
                                                                                                                            Language.Syntactic.Sugar.Internal i,
                                                                                                                            Language.Syntactic.Sugar.Internal j,
                                                                                                                            Language.Syntactic.Sugar.Internal k,
                                                                                                                            Language.Syntactic.Sugar.Internal l),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal b),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal c),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal d),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal e),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal f),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal g),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal h),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal i),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal j),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal k),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal l)) =>
Language.Syntactic.Sugar.Syntactic (a,
                                    b,
                                    c,
                                    d,
                                    e,
                                    f,
                                    g,
                                    h,
                                    i,
                                    j,
                                    k,
                                    l), (Language.Syntactic.Sugar.Syntactic a,
 Language.Syntactic.Sugar.Domain a ~ dom,
 Language.Syntactic.Sugar.Syntactic b,
 Language.Syntactic.Sugar.Domain b ~ dom,
 Language.Syntactic.Sugar.Syntactic c,
 Language.Syntactic.Sugar.Domain c ~ dom,
 Language.Syntactic.Sugar.Syntactic d,
 Language.Syntactic.Sugar.Domain d ~ dom,
 Language.Syntactic.Sugar.Syntactic e,
 Language.Syntactic.Sugar.Domain e ~ dom,
 Language.Syntactic.Sugar.Syntactic f,
 Language.Syntactic.Sugar.Domain f ~ dom,
 Language.Syntactic.Sugar.Syntactic g,
 Language.Syntactic.Sugar.Domain g ~ dom,
 Language.Syntactic.Sugar.Syntactic h,
 Language.Syntactic.Sugar.Domain h ~ dom,
 Language.Syntactic.Sugar.Syntactic i,
 Language.Syntactic.Sugar.Domain i ~ dom,
 Language.Syntactic.Sugar.Syntactic j,
 Language.Syntactic.Sugar.Domain j ~ dom,
 Language.Syntactic.Sugar.Syntactic k,
 Language.Syntactic.Sugar.Domain k ~ dom,
 Language.Syntactic.Sugar.Syntactic l,
 Language.Syntactic.Sugar.Domain l ~ dom,
 Language.Syntactic.Sugar.Syntactic m,
 Language.Syntactic.Sugar.Domain m ~ dom,
 Language.Syntactic.Frontend.TupleConstrained.TupleSat dom p,
 p (Language.Syntactic.Sugar.Internal a,
    Language.Syntactic.Sugar.Internal b,
    Language.Syntactic.Sugar.Internal c,
    Language.Syntactic.Sugar.Internal d,
    Language.Syntactic.Sugar.Internal e,
    Language.Syntactic.Sugar.Internal f,
    Language.Syntactic.Sugar.Internal g,
    Language.Syntactic.Sugar.Internal h,
    Language.Syntactic.Sugar.Internal i,
    Language.Syntactic.Sugar.Internal j,
    Language.Syntactic.Sugar.Internal k,
    Language.Syntactic.Sugar.Internal l,
    Language.Syntactic.Sugar.Internal m),
 p (Language.Syntactic.Sugar.Internal a),
 p (Language.Syntactic.Sugar.Internal b),
 p (Language.Syntactic.Sugar.Internal c),
 p (Language.Syntactic.Sugar.Internal d),
 p (Language.Syntactic.Sugar.Internal e),
 p (Language.Syntactic.Sugar.Internal f),
 p (Language.Syntactic.Sugar.Internal g),
 p (Language.Syntactic.Sugar.Internal h),
 p (Language.Syntactic.Sugar.Internal i),
 p (Language.Syntactic.Sugar.Internal j),
 p (Language.Syntactic.Sugar.Internal k),
 p (Language.Syntactic.Sugar.Internal l),
 p (Language.Syntactic.Sugar.Internal m),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Tuple Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a,
                                                                                                                            Language.Syntactic.Sugar.Internal b,
                                                                                                                            Language.Syntactic.Sugar.Internal c,
                                                                                                                            Language.Syntactic.Sugar.Internal d,
                                                                                                                            Language.Syntactic.Sugar.Internal e,
                                                                                                                            Language.Syntactic.Sugar.Internal f,
                                                                                                                            Language.Syntactic.Sugar.Internal g,
                                                                                                                            Language.Syntactic.Sugar.Internal h,
                                                                                                                            Language.Syntactic.Sugar.Internal i,
                                                                                                                            Language.Syntactic.Sugar.Internal j,
                                                                                                                            Language.Syntactic.Sugar.Internal k,
                                                                                                                            Language.Syntactic.Sugar.Internal l,
                                                                                                                            Language.Syntactic.Sugar.Internal m),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal b),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal c),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal d),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal e),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal f),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal g),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal h),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal i),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal j),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal k),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal l),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal m)) =>
Language.Syntactic.Sugar.Syntactic (a,
                                    b,
                                    c,
                                    d,
                                    e,
                                    f,
                                    g,
                                    h,
                                    i,
                                    j,
                                    k,
                                    l,
                                    m), (Language.Syntactic.Sugar.Syntactic a,
 Language.Syntactic.Sugar.Domain a ~ dom,
 Language.Syntactic.Sugar.Syntactic b,
 Language.Syntactic.Sugar.Domain b ~ dom,
 Language.Syntactic.Sugar.Syntactic c,
 Language.Syntactic.Sugar.Domain c ~ dom,
 Language.Syntactic.Sugar.Syntactic d,
 Language.Syntactic.Sugar.Domain d ~ dom,
 Language.Syntactic.Sugar.Syntactic e,
 Language.Syntactic.Sugar.Domain e ~ dom,
 Language.Syntactic.Sugar.Syntactic f,
 Language.Syntactic.Sugar.Domain f ~ dom,
 Language.Syntactic.Sugar.Syntactic g,
 Language.Syntactic.Sugar.Domain g ~ dom,
 Language.Syntactic.Sugar.Syntactic h,
 Language.Syntactic.Sugar.Domain h ~ dom,
 Language.Syntactic.Sugar.Syntactic i,
 Language.Syntactic.Sugar.Domain i ~ dom,
 Language.Syntactic.Sugar.Syntactic j,
 Language.Syntactic.Sugar.Domain j ~ dom,
 Language.Syntactic.Sugar.Syntactic k,
 Language.Syntactic.Sugar.Domain k ~ dom,
 Language.Syntactic.Sugar.Syntactic l,
 Language.Syntactic.Sugar.Domain l ~ dom,
 Language.Syntactic.Sugar.Syntactic m,
 Language.Syntactic.Sugar.Domain m ~ dom,
 Language.Syntactic.Sugar.Syntactic n,
 Language.Syntactic.Sugar.Domain n ~ dom,
 Language.Syntactic.Frontend.TupleConstrained.TupleSat dom p,
 p (Language.Syntactic.Sugar.Internal a,
    Language.Syntactic.Sugar.Internal b,
    Language.Syntactic.Sugar.Internal c,
    Language.Syntactic.Sugar.Internal d,
    Language.Syntactic.Sugar.Internal e,
    Language.Syntactic.Sugar.Internal f,
    Language.Syntactic.Sugar.Internal g,
    Language.Syntactic.Sugar.Internal h,
    Language.Syntactic.Sugar.Internal i,
    Language.Syntactic.Sugar.Internal j,
    Language.Syntactic.Sugar.Internal k,
    Language.Syntactic.Sugar.Internal l,
    Language.Syntactic.Sugar.Internal m,
    Language.Syntactic.Sugar.Internal n),
 p (Language.Syntactic.Sugar.Internal a),
 p (Language.Syntactic.Sugar.Internal b),
 p (Language.Syntactic.Sugar.Internal c),
 p (Language.Syntactic.Sugar.Internal d),
 p (Language.Syntactic.Sugar.Internal e),
 p (Language.Syntactic.Sugar.Internal f),
 p (Language.Syntactic.Sugar.Internal g),
 p (Language.Syntactic.Sugar.Internal h),
 p (Language.Syntactic.Sugar.Internal i),
 p (Language.Syntactic.Sugar.Internal j),
 p (Language.Syntactic.Sugar.Internal k),
 p (Language.Syntactic.Sugar.Internal l),
 p (Language.Syntactic.Sugar.Internal m),
 p (Language.Syntactic.Sugar.Internal n),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Tuple Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a,
                                                                                                                            Language.Syntactic.Sugar.Internal b,
                                                                                                                            Language.Syntactic.Sugar.Internal c,
                                                                                                                            Language.Syntactic.Sugar.Internal d,
                                                                                                                            Language.Syntactic.Sugar.Internal e,
                                                                                                                            Language.Syntactic.Sugar.Internal f,
                                                                                                                            Language.Syntactic.Sugar.Internal g,
                                                                                                                            Language.Syntactic.Sugar.Internal h,
                                                                                                                            Language.Syntactic.Sugar.Internal i,
                                                                                                                            Language.Syntactic.Sugar.Internal j,
                                                                                                                            Language.Syntactic.Sugar.Internal k,
                                                                                                                            Language.Syntactic.Sugar.Internal l,
                                                                                                                            Language.Syntactic.Sugar.Internal m,
                                                                                                                            Language.Syntactic.Sugar.Internal n),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal b),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal c),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal d),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal e),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal f),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal g),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal h),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal i),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal j),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal k),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal l),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal m),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal n)) =>
Language.Syntactic.Sugar.Syntactic (a,
                                    b,
                                    c,
                                    d,
                                    e,
                                    f,
                                    g,
                                    h,
                                    i,
                                    j,
                                    k,
                                    l,
                                    m,
                                    n), (Language.Syntactic.Sugar.Syntactic a,
 Language.Syntactic.Sugar.Domain a ~ dom,
 Language.Syntactic.Sugar.Syntactic b,
 Language.Syntactic.Sugar.Domain b ~ dom,
 Language.Syntactic.Sugar.Syntactic c,
 Language.Syntactic.Sugar.Domain c ~ dom,
 Language.Syntactic.Sugar.Syntactic d,
 Language.Syntactic.Sugar.Domain d ~ dom,
 Language.Syntactic.Sugar.Syntactic e,
 Language.Syntactic.Sugar.Domain e ~ dom,
 Language.Syntactic.Sugar.Syntactic f,
 Language.Syntactic.Sugar.Domain f ~ dom,
 Language.Syntactic.Sugar.Syntactic g,
 Language.Syntactic.Sugar.Domain g ~ dom,
 Language.Syntactic.Sugar.Syntactic h,
 Language.Syntactic.Sugar.Domain h ~ dom,
 Language.Syntactic.Sugar.Syntactic i,
 Language.Syntactic.Sugar.Domain i ~ dom,
 Language.Syntactic.Sugar.Syntactic j,
 Language.Syntactic.Sugar.Domain j ~ dom,
 Language.Syntactic.Sugar.Syntactic k,
 Language.Syntactic.Sugar.Domain k ~ dom,
 Language.Syntactic.Sugar.Syntactic l,
 Language.Syntactic.Sugar.Domain l ~ dom,
 Language.Syntactic.Sugar.Syntactic m,
 Language.Syntactic.Sugar.Domain m ~ dom,
 Language.Syntactic.Sugar.Syntactic n,
 Language.Syntactic.Sugar.Domain n ~ dom,
 Language.Syntactic.Sugar.Syntactic o,
 Language.Syntactic.Sugar.Domain o ~ dom,
 Language.Syntactic.Frontend.TupleConstrained.TupleSat dom p,
 p (Language.Syntactic.Sugar.Internal a,
    Language.Syntactic.Sugar.Internal b,
    Language.Syntactic.Sugar.Internal c,
    Language.Syntactic.Sugar.Internal d,
    Language.Syntactic.Sugar.Internal e,
    Language.Syntactic.Sugar.Internal f,
    Language.Syntactic.Sugar.Internal g,
    Language.Syntactic.Sugar.Internal h,
    Language.Syntactic.Sugar.Internal i,
    Language.Syntactic.Sugar.Internal j,
    Language.Syntactic.Sugar.Internal k,
    Language.Syntactic.Sugar.Internal l,
    Language.Syntactic.Sugar.Internal m,
    Language.Syntactic.Sugar.Internal n,
    Language.Syntactic.Sugar.Internal o),
 p (Language.Syntactic.Sugar.Internal a),
 p (Language.Syntactic.Sugar.Internal b),
 p (Language.Syntactic.Sugar.Internal c),
 p (Language.Syntactic.Sugar.Internal d),
 p (Language.Syntactic.Sugar.Internal e),
 p (Language.Syntactic.Sugar.Internal f),
 p (Language.Syntactic.Sugar.Internal g),
 p (Language.Syntactic.Sugar.Internal h),
 p (Language.Syntactic.Sugar.Internal i),
 p (Language.Syntactic.Sugar.Internal j),
 p (Language.Syntactic.Sugar.Internal k),
 p (Language.Syntactic.Sugar.Internal l),
 p (Language.Syntactic.Sugar.Internal m),
 p (Language.Syntactic.Sugar.Internal n),
 p (Language.Syntactic.Sugar.Internal o),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Tuple Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a,
                                                                                                                            Language.Syntactic.Sugar.Internal b,
                                                                                                                            Language.Syntactic.Sugar.Internal c,
                                                                                                                            Language.Syntactic.Sugar.Internal d,
                                                                                                                            Language.Syntactic.Sugar.Internal e,
                                                                                                                            Language.Syntactic.Sugar.Internal f,
                                                                                                                            Language.Syntactic.Sugar.Internal g,
                                                                                                                            Language.Syntactic.Sugar.Internal h,
                                                                                                                            Language.Syntactic.Sugar.Internal i,
                                                                                                                            Language.Syntactic.Sugar.Internal j,
                                                                                                                            Language.Syntactic.Sugar.Internal k,
                                                                                                                            Language.Syntactic.Sugar.Internal l,
                                                                                                                            Language.Syntactic.Sugar.Internal m,
                                                                                                                            Language.Syntactic.Sugar.Internal n,
                                                                                                                            Language.Syntactic.Sugar.Internal o),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal a),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal b),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal c),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal d),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal e),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal f),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal g),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal h),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal i),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal j),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal k),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal l),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal m),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal n),
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Tuple.Select Language.Syntactic.Constraint.:|| p) dom (Language.Syntactic.Sugar.Internal o)) =>
Language.Syntactic.Sugar.Syntactic (a,
                                    b,
                                    c,
                                    d,
                                    e,
                                    f,
                                    g,
                                    h,
                                    i,
                                    j,
                                    k,
                                    l,
                                    m,
                                    n,
                                    o)
 100% (  2 /  2) in 'Language.Syntactic.Frontend.TupleConstrained'
Warning: Language.Syntactic.Constructs.Binding: We do not support associated types in instances yet. These instances are affected:
Language.Syntactic.Constraint.Constrained Language.Syntactic.Constructs.Binding.Variable, Language.Syntactic.Constraint.Constrained Language.Syntactic.Constructs.Binding.Lambda, Language.Syntactic.Constraint.Constrained Language.Syntactic.Constructs.Binding.Let
  81% ( 21 / 26) in 'Language.Syntactic.Constructs.Binding'
Warning: Language.Syntactic.Constructs.Binding.HigherOrder: We do not support associated types in instances yet. These instances are affected:
(Language.Syntactic.Sugar.Syntactic a,
 Language.Syntactic.Sugar.Domain a ~ dom,
 Language.Syntactic.Sugar.Syntactic b,
 Language.Syntactic.Sugar.Domain b ~ dom,
 Language.Syntactic.Constructs.Binding.HigherOrder.IsHODomain dom p pVar,
 p (Language.Syntactic.Sugar.Internal a
    -> Language.Syntactic.Sugar.Internal b),
 p (Language.Syntactic.Sugar.Internal a),
 pVar (Language.Syntactic.Sugar.Internal a)) =>
Language.Syntactic.Sugar.Syntactic (a -> b)
  91% ( 10 / 11) in 'Language.Syntactic.Constructs.Binding.HigherOrder'
Warning: Language.Syntactic.Frontend.Monad: We do not support associated types in instances yet. These instances are affected:
(Language.Syntactic.Sugar.Syntactic a,
 Language.Syntactic.Sugar.Domain a ~ dom,
 Language.Syntactic.Constructs.Binding.HigherOrder.IsHODomain dom Data.Typeable.Internal.Typeable pVar,
 Language.Syntactic.Constraint.InjectC (Language.Syntactic.Constructs.Monad.MONAD m) dom (m (Language.Syntactic.Sugar.Internal a)),
 GHC.Base.Monad m,
 Data.Typeable.Internal.Typeable1 m,
 Data.Typeable.Internal.Typeable (Language.Syntactic.Sugar.Internal a),
 pVar (Language.Syntactic.Sugar.Internal a)) =>
Language.Syntactic.Sugar.Syntactic (Language.Syntactic.Frontend.Monad.Mon dom m a)
 100% (  4 /  4) in 'Language.Syntactic.Frontend.Monad'
  71% (  5 /  7) in 'Language.Syntactic.Constructs.Binding.Optimize'
 100% (  8 /  8) in 'Language.Syntactic.Sharing.SimpleCodeMotion'
Warning: Language.Syntactic.Sharing.CodeMotion2: We do not support associated types in instances yet. These instances are affected:
Language.Syntactic.Constraint.Constrained Language.Syntactic.Sharing.CodeMotion2.Node
  33% (  1 /  3) in 'Language.Syntactic.Sharing.CodeMotion2'
Warning: Language.Syntactic.Sharing.Graph: We do not support associated types in instances yet. These instances are affected:
Language.Syntactic.Constraint.Constrained Language.Syntactic.Sharing.Graph.Node
  86% ( 24 / 28) in 'Language.Syntactic.Sharing.Graph'
  71% (  5 /  7) in 'Language.Syntactic.Sharing.StableName'
 100% (  2 /  2) in 'Language.Syntactic.Sharing.Reify'
 100% (  3 /  3) in 'Language.Syntactic.Sharing.ReifyHO'
Warning: Language.Syntactic.Sharing.SimpleCodeMotion: could not find link destinations for:
    Language.Syntactic.Sharing.SimpleCodeMotion.choose
Warning: Language.Syntactic.Sharing.CodeMotion2: could not find link destinations for:
    Language.Syntactic.Sharing.CodeMotion2.NodeDomain Language.Syntactic.Sharing.CodeMotion2.gather
Warning: Language.Syntactic.Sharing.Reify: could not find link destinations for:
    Language.Syntactic.Sharing.Reify.reifyGraphM
Warning: Language.Syntactic.Sharing.ReifyHO: could not find link destinations for:
    Language.Syntactic.Sharing.ReifyHO.reifyGraphM
Documentation created: dist/doc/html/syntactic/index.html,
dist/doc/html/syntactic/syntactic.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/syntactic-1.12.1
Registering syntactic-1.12.1...
Installed syntactic-1.12.1