inferred.scala

      case (tj @ (src: T[G], lBranch: quasar.qscript.FreeQS[T],
rBranch: quasar.qscript.FreeQS[T], on:
quasar.qscript.JoinFunc[T], f: quasar.qscript.JoinType, combine:
quasar.qscript.JoinFunc[T])quasar.qscript.ThetaJoin[T,T[G]]((src
@ _), (left @ _), (right @ _), (on @ _), Inner, _)) if
scalaz.Scalaz.ToEqualOps[quasar.qscript.JoinFunc[T]](on)(matryoshka.`package`.de
layEqual[[A]scalaz.Free[[β$14$]quasar.qscript.MapFunc[T,β$14$],A],
quasar.qscript.JoinSide](qscript.this.JoinSide.equal,
matryoshka.`package`.freeEqual[[A]quasar.qscript.MapFunc[T,A]](quasar.qscript.Ma
pFunc.traverse[T], quasar.qscript.MapFunc.equal[T,
Nothing](Optimize.this.evidence$3)))).≟(quasar.qscript.MapFuncs.BoolLit.apply[T,
quasar.qscript.JoinSide](true)(Optimize.this.evidence$2)) =>
scala.Tuple2.apply[scalaz.\/[scalaz.Coproduct[[β$10$]scalaz.Const[quasar.qscript
.ShiftedRead,β$10$],[β$11$]scalaz.Coproduct[[β$8$]scalaz.Const[quasar.qscript.Re
ad,β$8$],[β$9$]scalaz.Coproduct[[β$6$]quasar.qscript.EquiJoin[T,β$6$],[β$7$]scal
az.Coproduct[[β$4$]quasar.qscript.ThetaJoin[T,β$4$],[β$5$]scalaz.Coproduct[[β$2$
]quasar.qscript.ProjectBucket[T,β$2$],[β$3$]scalaz.Coproduct[[β$0$]scalaz.Const[
quasar.qscript.DeadEnd,β$0$],[β$1$]quasar.qscript.QScriptCore[T,β$1$],β$3$],β$5$
],β$7$],β$9$],β$11$],scalaz.\/[scalaz.Coproduct[[β$10$]scalaz.Const[quasar.qscri
pt.ShiftedRead,β$10$],[β$11$]scalaz.Coproduct[[β$8$]scalaz.Const[quasar.qscript.
Read,β$8$],[β$9$]scalaz.Coproduct[[β$6$]quasar.qscript.EquiJoin[T,β$6$],[β$7$]sc
alaz.Coproduct[[β$4$]quasar.qscript.ThetaJoin[T,β$4$],[β$5$]scalaz.Coproduct[[β$
2$]quasar.qscript.ProjectBucket[T,β$2$],[β$3$]scalaz.Coproduct[[β$0$]scalaz.Cons
t[quasar.qscript.DeadEnd,β$0$],[β$1$]quasar.qscript.QScriptCore[T,β$1$],β$3$],β$
5$],β$7$],β$9$],β$11$],scalaz.Free[[β$13$]scalaz.Coproduct[[β$10$]scalaz.Const[q
uasar.qscript.ShiftedRead,β$10$],[β$11$]scalaz.Coproduct[[β$8$]scalaz.Const[quas
ar.qscript.Read,β$8$],[β$9$]scalaz.Coproduct[[β$6$]quasar.qscript.EquiJoin[T,β$6
$],[β$7$]scalaz.Coproduct[[β$4$]quasar.qscript.ThetaJoin[T,β$4$],[β$5$]scalaz.Co
product[[β$2$]quasar.qscript.ProjectBucket[T,β$2$],[β$3$]scalaz.Coproduct[[β$0$]
scalaz.Const[quasar.qscript.DeadEnd,β$0$],[β$1$]quasar.qscript.QScriptCore[T,β$1
$],β$3$],β$5$],β$7$],β$9$],β$11$],β$13$],quasar.qscript.Hole]],quasar.qscript.Ho
le]],quasar.qscript.Hole],
scalaz.\/[scalaz.Coproduct[[β$10$]scalaz.Const[quasar.qscript.ShiftedRead,β$10$]
,[β$11$]scalaz.Coproduct[[β$8$]scalaz.Const[quasar.qscript.Read,β$8$],[β$9$]scal
az.Coproduct[[β$6$]quasar.qscript.EquiJoin[T,β$6$],[β$7$]scalaz.Coproduct[[β$4$]
quasar.qscript.ThetaJoin[T,β$4$],[β$5$]scalaz.Coproduct[[β$2$]quasar.qscript.Pro
jectBucket[T,β$2$],[β$3$]scalaz.Coproduct[[β$0$]scalaz.Const[quasar.qscript.Dead
End,β$0$],[β$1$]quasar.qscript.QScriptCore[T,β$1$],β$3$],β$5$],β$7$],β$9$],β$11$
],scalaz.\/[scalaz.Coproduct[[β$10$]scalaz.Const[quasar.qscript.ShiftedRead,β$10
$],[β$11$]scalaz.Coproduct[[β$8$]scalaz.Const[quasar.qscript.Read,β$8$],[β$9$]sc
alaz.Coproduct[[β$6$]quasar.qscript.EquiJoin[T,β$6$],[β$7$]scalaz.Coproduct[[β$4
$]quasar.qscript.ThetaJoin[T,β$4$],[β$5$]scalaz.Coproduct[[β$2$]quasar.qscript.P
rojectBucket[T,β$2$],[β$3$]scalaz.Coproduct[[β$0$]scalaz.Const[quasar.qscript.De
adEnd,β$0$],[β$1$]quasar.qscript.QScriptCore[T,β$1$],β$3$],β$5$],β$7$],β$9$],β$1
1$],scalaz.Free[[β$13$]scalaz.Coproduct[[β$10$]scalaz.Const[quasar.qscript.Shift
edRead,β$10$],[β$11$]scalaz.Coproduct[[β$8$]scalaz.Const[quasar.qscript.Read,β$8
$],[β$9$]scalaz.Coproduct[[β$6$]quasar.qscript.EquiJoin[T,β$6$],[β$7$]scalaz.Cop
roduct[[β$4$]quasar.qscript.ThetaJoin[T,β$4$],[β$5$]scalaz.Coproduct[[β$2$]quasa
r.qscript.ProjectBucket[T,β$2$],[β$3$]scalaz.Coproduct[[β$0$]scalaz.Const[quasar
.qscript.DeadEnd,β$0$],[β$1$]quasar.qscript.QScriptCore[T,β$1$],β$3$],β$5$],β$7$
],β$9$],β$11$],β$13$],quasar.qscript.Hole]],quasar.qscript.Hole]],quasar.qscript
.Hole]](left.resume(scalaz.this.Coproduct.coproductTraverse[[B]scalaz.Const[quas
ar.qscript.ShiftedRead,B],
[A]scalaz.Coproduct[[β$8$]scalaz.Const[quasar.qscript.Read,β$8$],[β$9$]scalaz.Co
product[[β$6$]quasar.qscript.EquiJoin[T,β$6$],[β$7$]scalaz.Coproduct[[β$4$]quasa
r.qscript.ThetaJoin[T,β$4$],[β$5$]scalaz.Coproduct[[β$2$]quasar.qscript.ProjectB
ucket[T,β$2$],[β$3$]scalaz.Coproduct[[β$0$]scalaz.Const[quasar.qscript.DeadEnd,β
$0$],[β$1$]quasar.qscript.QScriptCore[T,β$1$],β$3$],β$5$],β$7$],β$9$],A]](scalaz
.this.Const.constTraverse[quasar.qscript.ShiftedRead],
scalaz.this.Coproduct.coproductTraverse[[B]scalaz.Const[quasar.qscript.Read,B],
[A]scalaz.Coproduct[[β$6$]quasar.qscript.EquiJoin[T,β$6$],[β$7$]scalaz.Coproduct
[[β$4$]quasar.qscript.ThetaJoin[T,β$4$],[β$5$]scalaz.Coproduct[[β$2$]quasar.qscr
ipt.ProjectBucket[T,β$2$],[β$3$]scalaz.Coproduct[[β$0$]scalaz.Const[quasar.qscri
pt.DeadEnd,β$0$],[β$1$]quasar.qscript.QScriptCore[T,β$1$],β$3$],β$5$],β$7$],A]](
scalaz.this.Const.constTraverse[quasar.qscript.Read],
scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.EquiJoin[T,A],
[A]scalaz.Coproduct[[β$4$]quasar.qscript.ThetaJoin[T,β$4$],[β$5$]scalaz.Coproduc
t[[β$2$]quasar.qscript.ProjectBucket[T,β$2$],[β$3$]scalaz.Coproduct[[β$0$]scalaz
.Const[quasar.qscript.DeadEnd,β$0$],[β$1$]quasar.qscript.QScriptCore[T,β$1$],β$3
$],β$5$],A]](qscript.this.EquiJoin.traverse[T],
scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.ThetaJoin[T,A],
[A]scalaz.Coproduct[[β$2$]quasar.qscript.ProjectBucket[T,β$2$],[β$3$]scalaz.Copr
oduct[[β$0$]scalaz.Const[quasar.qscript.DeadEnd,β$0$],[β$1$]quasar.qscript.QScri
ptCore[T,β$1$],β$3$],A]](qscript.this.ThetaJoin.traverse[T],
scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.ProjectBucket[T,A],
[A]scalaz.Coproduct[[β$0$]scalaz.Const[quasar.qscript.DeadEnd,β$0$],[β$1$]quasar
.qscript.QScriptCore[T,β$1$],A]](qscript.this.ProjectBucket.traverse[T],
scalaz.this.Coproduct.coproductTraverse[[B]scalaz.Const[quasar.qscript.DeadEnd,B
],
[A]quasar.qscript.QScriptCore[T,A]](scalaz.this.Const.constTraverse[quasar.qscri
pt.DeadEnd],
qscript.this.QScriptCore.traverse[T]))))))).leftMap[scalaz.Coproduct[[β$10$]scal
az.Const[quasar.qscript.ShiftedRead,β$10$],[β$11$]scalaz.Coproduct[[β$8$]scalaz.
Const[quasar.qscript.Read,β$8$],[β$9$]scalaz.Coproduct[[β$6$]quasar.qscript.Equi
Join[T,β$6$],[β$7$]scalaz.Coproduct[[β$4$]quasar.qscript.ThetaJoin[T,β$4$],[β$5$
]scalaz.Coproduct[[β$2$]quasar.qscript.ProjectBucket[T,β$2$],[β$3$]scalaz.Coprod
uct[[β$0$]scalaz.Const[quasar.qscript.DeadEnd,β$0$],[β$1$]quasar.qscript.QScript
Core[T,β$1$],β$3$],β$5$],β$7$],β$9$],β$11$],scalaz.\/[scalaz.Coproduct[[β$10$]sc
alaz.Const[quasar.qscript.ShiftedRead,β$10$],[β$11$]scalaz.Coproduct[[β$8$]scala
z.Const[quasar.qscript.Read,β$8$],[β$9$]scalaz.Coproduct[[β$6$]quasar.qscript.Eq
uiJoin[T,β$6$],[β$7$]scalaz.Coproduct[[β$4$]quasar.qscript.ThetaJoin[T,β$4$],[β$
5$]scalaz.Coproduct[[β$2$]quasar.qscript.ProjectBucket[T,β$2$],[β$3$]scalaz.Copr
oduct[[β$0$]scalaz.Const[quasar.qscript.DeadEnd,β$0$],[β$1$]quasar.qscript.QScri
ptCore[T,β$1$],β$3$],β$5$],β$7$],β$9$],β$11$],scalaz.Free[[β$13$]scalaz.Coproduc
t[[β$10$]scalaz.Const[quasar.qscript.ShiftedRead,β$10$],[β$11$]scalaz.Coproduct[
[β$8$]scalaz.Const[quasar.qscript.Read,β$8$],[β$9$]scalaz.Coproduct[[β$6$]quasar
.qscript.EquiJoin[T,β$6$],[β$7$]scalaz.Coproduct[[β$4$]quasar.qscript.ThetaJoin[
T,β$4$],[β$5$]scalaz.Coproduct[[β$2$]quasar.qscript.ProjectBucket[T,β$2$],[β$3$]
scalaz.Coproduct[[β$0$]scalaz.Const[quasar.qscript.DeadEnd,β$0$],[β$1$]quasar.qs
cript.QScriptCore[T,β$1$],β$3$],β$5$],β$7$],β$9$],β$11$],β$13$],quasar.qscript.H
ole]],quasar.qscript.Hole]]](((x$10:
scalaz.Coproduct[[β$10$]scalaz.Const[quasar.qscript.ShiftedRead,β$10$],[β$11$]sc
alaz.Coproduct[[β$8$]scalaz.Const[quasar.qscript.Read,β$8$],[β$9$]scalaz.Coprodu
ct[[β$6$]quasar.qscript.EquiJoin[T,β$6$],[β$7$]scalaz.Coproduct[[β$4$]quasar.qsc
ript.ThetaJoin[T,β$4$],[β$5$]scalaz.Coproduct[[β$2$]quasar.qscript.ProjectBucket
[T,β$2$],[β$3$]scalaz.Coproduct[[β$0$]scalaz.Const[quasar.qscript.DeadEnd,β$0$],
[β$1$]quasar.qscript.QScriptCore[T,β$1$],β$3$],β$5$],β$7$],β$9$],β$11$],scalaz.F
ree[[β$13$]scalaz.Coproduct[[β$10$]scalaz.Const[quasar.qscript.ShiftedRead,β$10$
],[β$11$]scalaz.Coproduct[[β$8$]scalaz.Const[quasar.qscript.Read,β$8$],[β$9$]sca
laz.Coproduct[[β$6$]quasar.qscript.EquiJoin[T,β$6$],[β$7$]scalaz.Coproduct[[β$4$
]quasar.qscript.ThetaJoin[T,β$4$],[β$5$]scalaz.Coproduct[[β$2$]quasar.qscript.Pr
ojectBucket[T,β$2$],[β$3$]scalaz.Coproduct[[β$0$]scalaz.Const[quasar.qscript.Dea
dEnd,β$0$],[β$1$]quasar.qscript.QScriptCore[T,β$1$],β$3$],β$5$],β$7$],β$9$],β$11
$],β$13$],quasar.qscript.Hole]]) =>
x$10.map[scalaz.\/[scalaz.Coproduct[[β$10$]scalaz.Const[quasar.qscript.ShiftedRe
ad,β$10$],[β$11$]scalaz.Coproduct[[β$8$]scalaz.Const[quasar.qscript.Read,β$8$],[
β$9$]scalaz.Coproduct[[β$6$]quasar.qscript.EquiJoin[T,β$6$],[β$7$]scalaz.Coprodu
ct[[β$4$]quasar.qscript.ThetaJoin[T,β$4$],[β$5$]scalaz.Coproduct[[β$2$]quasar.qs
cript.ProjectBucket[T,β$2$],[β$3$]scalaz.Coproduct[[β$0$]scalaz.Const[quasar.qsc
ript.DeadEnd,β$0$],[β$1$]quasar.qscript.QScriptCore[T,β$1$],β$3$],β$5$],β$7$],β$
9$],β$11$],scalaz.Free[[β$13$]scalaz.Coproduct[[β$10$]scalaz.Const[quasar.qscrip
t.ShiftedRead,β$10$],[β$11$]scalaz.Coproduct[[β$8$]scalaz.Const[quasar.qscript.R
ead,β$8$],[β$9$]scalaz.Coproduct[[β$6$]quasar.qscript.EquiJoin[T,β$6$],[β$7$]sca
laz.Coproduct[[β$4$]quasar.qscript.ThetaJoin[T,β$4$],[β$5$]scalaz.Coproduct[[β$2
$]quasar.qscript.ProjectBucket[T,β$2$],[β$3$]scalaz.Coproduct[[β$0$]scalaz.Const
[quasar.qscript.DeadEnd,β$0$],[β$1$]quasar.qscript.QScriptCore[T,β$1$],β$3$],β$5
$],β$7$],β$9$],β$11$],β$13$],quasar.qscript.Hole]],quasar.qscript.Hole]](((x$11:
scalaz.Free[[β$13$]scalaz.Coproduct[[β$10$]scalaz.Const[quasar.qscript.ShiftedRe
ad,β$10$],[β$11$]scalaz.Coproduct[[β$8$]scalaz.Const[quasar.qscript.Read,β$8$],[
β$9$]scalaz.Coproduct[[β$6$]quasar.qscript.EquiJoin[T,β$6$],[β$7$]scalaz.Coprodu
ct[[β$4$]quasar.qscript.ThetaJoin[T,β$4$],[β$5$]scalaz.Coproduct[[β$2$]quasar.qs
cript.ProjectBucket[T,β$2$],[β$3$]scalaz.Coproduct[[β$0$]scalaz.Const[quasar.qsc
ript.DeadEnd,β$0$],[β$1$]quasar.qscript.QScriptCore[T,β$1$],β$3$],β$5$],β$7$],β$
9$],β$11$],β$13$],quasar.qscript.Hole]) =>
x$11.resume(scalaz.this.Coproduct.coproductTraverse[[B]scalaz.Const[quasar.qscri
pt.ShiftedRead,B],
[A]scalaz.Coproduct[[β$8$]scalaz.Const[quasar.qscript.Read,β$8$],[β$9$]scalaz.Co
product[[β$6$]quasar.qscript.EquiJoin[T,β$6$],[β$7$]scalaz.Coproduct[[β$4$]quasa
r.qscript.ThetaJoin[T,β$4$],[β$5$]scalaz.Coproduct[[β$2$]quasar.qscript.ProjectB
ucket[T,β$2$],[β$3$]scalaz.Coproduct[[β$0$]scalaz.Const[quasar.qscript.DeadEnd,β
$0$],[β$1$]quasar.qscript.QScriptCore[T,β$1$],β$3$],β$5$],β$7$],β$9$],A]](scalaz
.this.Const.constTraverse[quasar.qscript.ShiftedRead],
scalaz.this.Coproduct.coproductTraverse[[B]scalaz.Const[quasar.qscript.Read,B],
[A]scalaz.Coproduct[[β$6$]quasar.qscript.EquiJoin[T,β$6$],[β$7$]scalaz.Coproduct
[[β$4$]quasar.qscript.ThetaJoin[T,β$4$],[β$5$]scalaz.Coproduct[[β$2$]quasar.qscr
ipt.ProjectBucket[T,β$2$],[β$3$]scalaz.Coproduct[[β$0$]scalaz.Const[quasar.qscri
pt.DeadEnd,β$0$],[β$1$]quasar.qscript.QScriptCore[T,β$1$],β$3$],β$5$],β$7$],A]](
scalaz.this.Const.constTraverse[quasar.qscript.Read],
scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.EquiJoin[T,A],
[A]scalaz.Coproduct[[β$4$]quasar.qscript.ThetaJoin[T,β$4$],[β$5$]scalaz.Coproduc
t[[β$2$]quasar.qscript.ProjectBucket[T,β$2$],[β$3$]scalaz.Coproduct[[β$0$]scalaz
.Const[quasar.qscript.DeadEnd,β$0$],[β$1$]quasar.qscript.QScriptCore[T,β$1$],β$3
$],β$5$],A]](qscript.this.EquiJoin.traverse[T],
scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.ThetaJoin[T,A],
[A]scalaz.Coproduct[[β$2$]quasar.qscript.ProjectBucket[T,β$2$],[β$3$]scalaz.Copr
oduct[[β$0$]scalaz.Const[quasar.qscript.DeadEnd,β$0$],[β$1$]quasar.qscript.QScri
ptCore[T,β$1$],β$3$],A]](qscript.this.ThetaJoin.traverse[T],
scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.ProjectBucket[T,A],
[A]scalaz.Coproduct[[β$0$]scalaz.Const[quasar.qscript.DeadEnd,β$0$],[β$1$]quasar
.qscript.QScriptCore[T,β$1$],A]](qscript.this.ProjectBucket.traverse[T],
scalaz.this.Coproduct.coproductTraverse[[B]scalaz.Const[quasar.qscript.DeadEnd,B
],
[A]quasar.qscript.QScriptCore[T,A]](scalaz.this.Const.constTraverse[quasar.qscri
pt.DeadEnd],
qscript.this.QScriptCore.traverse[T])))))))))(scalaz.this.Const.constTraverse[qu
asar.qscript.ShiftedRead],
scalaz.this.Coproduct.coproductTraverse[[B]scalaz.Const[quasar.qscript.Read,B],
[A]scalaz.Coproduct[[β$6$]quasar.qscript.EquiJoin[T,β$6$],[β$7$]scalaz.Coproduct
[[β$4$]quasar.qscript.ThetaJoin[T,β$4$],[β$5$]scalaz.Coproduct[[β$2$]quasar.qscr
ipt.ProjectBucket[T,β$2$],[β$3$]scalaz.Coproduct[[β$0$]scalaz.Const[quasar.qscri
pt.DeadEnd,β$0$],[β$1$]quasar.qscript.QScriptCore[T,β$1$],β$3$],β$5$],β$7$],A]](
scalaz.this.Const.constTraverse[quasar.qscript.Read],
scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.EquiJoin[T,A],
[A]scalaz.Coproduct[[β$4$]quasar.qscript.ThetaJoin[T,β$4$],[β$5$]scalaz.Coproduc
t[[β$2$]quasar.qscript.ProjectBucket[T,β$2$],[β$3$]scalaz.Coproduct[[β$0$]scalaz
.Const[quasar.qscript.DeadEnd,β$0$],[β$1$]quasar.qscript.QScriptCore[T,β$1$],β$3
$],β$5$],A]](qscript.this.EquiJoin.traverse[T],
scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.ThetaJoin[T,A],
[A]scalaz.Coproduct[[β$2$]quasar.qscript.ProjectBucket[T,β$2$],[β$3$]scalaz.Copr
oduct[[β$0$]scalaz.Const[quasar.qscript.DeadEnd,β$0$],[β$1$]quasar.qscript.QScri
ptCore[T,β$1$],β$3$],A]](qscript.this.ThetaJoin.traverse[T],
scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.ProjectBucket[T,A],
[A]scalaz.Coproduct[[β$0$]scalaz.Const[quasar.qscript.DeadEnd,β$0$],[β$1$]quasar
.qscript.QScriptCore[T,β$1$],A]](qscript.this.ProjectBucket.traverse[T],
scalaz.this.Coproduct.coproductTraverse[[B]scalaz.Const[quasar.qscript.DeadEnd,B
],
[A]quasar.qscript.QScriptCore[T,A]](scalaz.this.Const.constTraverse[quasar.qscri
pt.DeadEnd], qscript.this.QScriptCore.traverse[T])))))))),
right.resume(scalaz.this.Coproduct.coproductTraverse[[B]scalaz.Const[quasar.qscr
ipt.ShiftedRead,B],
[A]scalaz.Coproduct[[β$8$]scalaz.Const[quasar.qscript.Read,β$8$],[β$9$]scalaz.Co
product[[β$6$]quasar.qscript.EquiJoin[T,β$6$],[β$7$]scalaz.Coproduct[[β$4$]quasa
r.qscript.ThetaJoin[T,β$4$],[β$5$]scalaz.Coproduct[[β$2$]quasar.qscript.ProjectB
ucket[T,β$2$],[β$3$]scalaz.Coproduct[[β$0$]scalaz.Const[quasar.qscript.DeadEnd,β
$0$],[β$1$]quasar.qscript.QScriptCore[T,β$1$],β$3$],β$5$],β$7$],β$9$],A]](scalaz
.this.Const.constTraverse[quasar.qscript.ShiftedRead],
scalaz.this.Coproduct.coproductTraverse[[B]scalaz.Const[quasar.qscript.Read,B],
[A]scalaz.Coproduct[[β$6$]quasar.qscript.EquiJoin[T,β$6$],[β$7$]scalaz.Coproduct
[[β$4$]quasar.qscript.ThetaJoin[T,β$4$],[β$5$]scalaz.Coproduct[[β$2$]quasar.qscr
ipt.ProjectBucket[T,β$2$],[β$3$]scalaz.Coproduct[[β$0$]scalaz.Const[quasar.qscri
pt.DeadEnd,β$0$],[β$1$]quasar.qscript.QScriptCore[T,β$1$],β$3$],β$5$],β$7$],A]](
scalaz.this.Const.constTraverse[quasar.qscript.Read],
scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.EquiJoin[T,A],
[A]scalaz.Coproduct[[β$4$]quasar.qscript.ThetaJoin[T,β$4$],[β$5$]scalaz.Coproduc
t[[β$2$]quasar.qscript.ProjectBucket[T,β$2$],[β$3$]scalaz.Coproduct[[β$0$]scalaz
.Const[quasar.qscript.DeadEnd,β$0$],[β$1$]quasar.qscript.QScriptCore[T,β$1$],β$3
$],β$5$],A]](qscript.this.EquiJoin.traverse[T],
scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.ThetaJoin[T,A],
[A]scalaz.Coproduct[[β$2$]quasar.qscript.ProjectBucket[T,β$2$],[β$3$]scalaz.Copr
oduct[[β$0$]scalaz.Const[quasar.qscript.DeadEnd,β$0$],[β$1$]quasar.qscript.QScri
ptCore[T,β$1$],β$3$],A]](qscript.this.ThetaJoin.traverse[T],
scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.ProjectBucket[T,A],
[A]scalaz.Coproduct[[β$0$]scalaz.Const[quasar.qscript.DeadEnd,β$0$],[β$1$]quasar
.qscript.QScriptCore[T,β$1$],A]](qscript.this.ProjectBucket.traverse[T],
scalaz.this.Coproduct.coproductTraverse[[B]scalaz.Const[quasar.qscript.DeadEnd,B
],
[A]quasar.qscript.QScriptCore[T,A]](scalaz.this.Const.constTraverse[quasar.qscri
pt.DeadEnd],
qscript.this.QScriptCore.traverse[T]))))))).leftMap[scalaz.Coproduct[[β$10$]scal
az.Const[quasar.qscript.ShiftedRead,β$10$],[β$11$]scalaz.Coproduct[[β$8$]scalaz.
Const[quasar.qscript.Read,β$8$],[β$9$]scalaz.Coproduct[[β$6$]quasar.qscript.Equi
Join[T,β$6$],[β$7$]scalaz.Coproduct[[β$4$]quasar.qscript.ThetaJoin[T,β$4$],[β$5$
]scalaz.Coproduct[[β$2$]quasar.qscript.ProjectBucket[T,β$2$],[β$3$]scalaz.Coprod
uct[[β$0$]scalaz.Const[quasar.qscript.DeadEnd,β$0$],[β$1$]quasar.qscript.QScript
Core[T,β$1$],β$3$],β$5$],β$7$],β$9$],β$11$],scalaz.\/[scalaz.Coproduct[[β$10$]sc
alaz.Const[quasar.qscript.ShiftedRead,β$10$],[β$11$]scalaz.Coproduct[[β$8$]scala
z.Const[quasar.qscript.Read,β$8$],[β$9$]scalaz.Coproduct[[β$6$]quasar.qscript.Eq
uiJoin[T,β$6$],[β$7$]scalaz.Coproduct[[β$4$]quasar.qscript.ThetaJoin[T,β$4$],[β$
5$]scalaz.Coproduct[[β$2$]quasar.qscript.ProjectBucket[T,β$2$],[β$3$]scalaz.Copr
oduct[[β$0$]scalaz.Const[quasar.qscript.DeadEnd,β$0$],[β$1$]quasar.qscript.QScri
ptCore[T,β$1$],β$3$],β$5$],β$7$],β$9$],β$11$],scalaz.Free[[β$13$]scalaz.Coproduc
t[[β$10$]scalaz.Const[quasar.qscript.ShiftedRead,β$10$],[β$11$]scalaz.Coproduct[
[β$8$]scalaz.Const[quasar.qscript.Read,β$8$],[β$9$]scalaz.Coproduct[[β$6$]quasar
.qscript.EquiJoin[T,β$6$],[β$7$]scalaz.Coproduct[[β$4$]quasar.qscript.ThetaJoin[
T,β$4$],[β$5$]scalaz.Coproduct[[β$2$]quasar.qscript.ProjectBucket[T,β$2$],[β$3$]
scalaz.Coproduct[[β$0$]scalaz.Const[quasar.qscript.DeadEnd,β$0$],[β$1$]quasar.qs
cript.QScriptCore[T,β$1$],β$3$],β$5$],β$7$],β$9$],β$11$],β$13$],quasar.qscript.H
ole]],quasar.qscript.Hole]]](((x$12:
scalaz.Coproduct[[β$10$]scalaz.Const[quasar.qscript.ShiftedRead,β$10$],[β$11$]sc
alaz.Coproduct[[β$8$]scalaz.Const[quasar.qscript.Read,β$8$],[β$9$]scalaz.Coprodu
ct[[β$6$]quasar.qscript.EquiJoin[T,β$6$],[β$7$]scalaz.Coproduct[[β$4$]quasar.qsc
ript.ThetaJoin[T,β$4$],[β$5$]scalaz.Coproduct[[β$2$]quasar.qscript.ProjectBucket
[T,β$2$],[β$3$]scalaz.Coproduct[[β$0$]scalaz.Const[quasar.qscript.DeadEnd,β$0$],
[β$1$]quasar.qscript.QScriptCore[T,β$1$],β$3$],β$5$],β$7$],β$9$],β$11$],scalaz.F
ree[[β$13$]scalaz.Coproduct[[β$10$]scalaz.Const[quasar.qscript.ShiftedRead,β$10$
],[β$11$]scalaz.Coproduct[[β$8$]scalaz.Const[quasar.qscript.Read,β$8$],[β$9$]sca
laz.Coproduct[[β$6$]quasar.qscript.EquiJoin[T,β$6$],[β$7$]scalaz.Coproduct[[β$4$
]quasar.qscript.ThetaJoin[T,β$4$],[β$5$]scalaz.Coproduct[[β$2$]quasar.qscript.Pr
ojectBucket[T,β$2$],[β$3$]scalaz.Coproduct[[β$0$]scalaz.Const[quasar.qscript.Dea
dEnd,β$0$],[β$1$]quasar.qscript.QScriptCore[T,β$1$],β$3$],β$5$],β$7$],β$9$],β$11
$],β$13$],quasar.qscript.Hole]]) =>
x$12.map[scalaz.\/[scalaz.Coproduct[[β$10$]scalaz.Const[quasar.qscript.ShiftedRe
ad,β$10$],[β$11$]scalaz.Coproduct[[β$8$]scalaz.Const[quasar.qscript.Read,β$8$],[
β$9$]scalaz.Coproduct[[β$6$]quasar.qscript.EquiJoin[T,β$6$],[β$7$]scalaz.Coprodu
ct[[β$4$]quasar.qscript.ThetaJoin[T,β$4$],[β$5$]scalaz.Coproduct[[β$2$]quasar.qs
cript.ProjectBucket[T,β$2$],[β$3$]scalaz.Coproduct[[β$0$]scalaz.Const[quasar.qsc
ript.DeadEnd,β$0$],[β$1$]quasar.qscript.QScriptCore[T,β$1$],β$3$],β$5$],β$7$],β$
9$],β$11$],scalaz.Free[[β$13$]scalaz.Coproduct[[β$10$]scalaz.Const[quasar.qscrip
t.ShiftedRead,β$10$],[β$11$]scalaz.Coproduct[[β$8$]scalaz.Const[quasar.qscript.R
ead,β$8$],[β$9$]scalaz.Coproduct[[β$6$]quasar.qscript.EquiJoin[T,β$6$],[β$7$]sca
laz.Coproduct[[β$4$]quasar.qscript.ThetaJoin[T,β$4$],[β$5$]scalaz.Coproduct[[β$2
$]quasar.qscript.ProjectBucket[T,β$2$],[β$3$]scalaz.Coproduct[[β$0$]scalaz.Const
[quasar.qscript.DeadEnd,β$0$],[β$1$]quasar.qscript.QScriptCore[T,β$1$],β$3$],β$5
$],β$7$],β$9$],β$11$],β$13$],quasar.qscript.Hole]],quasar.qscript.Hole]](((x$13:
scalaz.Free[[β$13$]scalaz.Coproduct[[β$10$]scalaz.Const[quasar.qscript.ShiftedRe
ad,β$10$],[β$11$]scalaz.Coproduct[[β$8$]scalaz.Const[quasar.qscript.Read,β$8$],[
β$9$]scalaz.Coproduct[[β$6$]quasar.qscript.EquiJoin[T,β$6$],[β$7$]scalaz.Coprodu
ct[[β$4$]quasar.qscript.ThetaJoin[T,β$4$],[β$5$]scalaz.Coproduct[[β$2$]quasar.qs
cript.ProjectBucket[T,β$2$],[β$3$]scalaz.Coproduct[[β$0$]scalaz.Const[quasar.qsc
ript.DeadEnd,β$0$],[β$1$]quasar.qscript.QScriptCore[T,β$1$],β$3$],β$5$],β$7$],β$
9$],β$11$],β$13$],quasar.qscript.Hole]) =>
x$13.resume(scalaz.this.Coproduct.coproductTraverse[[B]scalaz.Const[quasar.qscri
pt.ShiftedRead,B],
[A]scalaz.Coproduct[[β$8$]scalaz.Const[quasar.qscript.Read,β$8$],[β$9$]scalaz.Co
product[[β$6$]quasar.qscript.EquiJoin[T,β$6$],[β$7$]scalaz.Coproduct[[β$4$]quasa
r.qscript.ThetaJoin[T,β$4$],[β$5$]scalaz.Coproduct[[β$2$]quasar.qscript.ProjectB
ucket[T,β$2$],[β$3$]scalaz.Coproduct[[β$0$]scalaz.Const[quasar.qscript.DeadEnd,β
$0$],[β$1$]quasar.qscript.QScriptCore[T,β$1$],β$3$],β$5$],β$7$],β$9$],A]](scalaz
.this.Const.constTraverse[quasar.qscript.ShiftedRead],
scalaz.this.Coproduct.coproductTraverse[[B]scalaz.Const[quasar.qscript.Read,B],
[A]scalaz.Coproduct[[β$6$]quasar.qscript.EquiJoin[T,β$6$],[β$7$]scalaz.Coproduct
[[β$4$]quasar.qscript.ThetaJoin[T,β$4$],[β$5$]scalaz.Coproduct[[β$2$]quasar.qscr
ipt.ProjectBucket[T,β$2$],[β$3$]scalaz.Coproduct[[β$0$]scalaz.Const[quasar.qscri
pt.DeadEnd,β$0$],[β$1$]quasar.qscript.QScriptCore[T,β$1$],β$3$],β$5$],β$7$],A]](
scalaz.this.Const.constTraverse[quasar.qscript.Read],
scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.EquiJoin[T,A],
[A]scalaz.Coproduct[[β$4$]quasar.qscript.ThetaJoin[T,β$4$],[β$5$]scalaz.Coproduc
t[[β$2$]quasar.qscript.ProjectBucket[T,β$2$],[β$3$]scalaz.Coproduct[[β$0$]scalaz
.Const[quasar.qscript.DeadEnd,β$0$],[β$1$]quasar.qscript.QScriptCore[T,β$1$],β$3
$],β$5$],A]](qscript.this.EquiJoin.traverse[T],
scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.ThetaJoin[T,A],
[A]scalaz.Coproduct[[β$2$]quasar.qscript.ProjectBucket[T,β$2$],[β$3$]scalaz.Copr
oduct[[β$0$]scalaz.Const[quasar.qscript.DeadEnd,β$0$],[β$1$]quasar.qscript.QScri
ptCore[T,β$1$],β$3$],A]](qscript.this.ThetaJoin.traverse[T],
scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.ProjectBucket[T,A],
[A]scalaz.Coproduct[[β$0$]scalaz.Const[quasar.qscript.DeadEnd,β$0$],[β$1$]quasar
.qscript.QScriptCore[T,β$1$],A]](qscript.this.ProjectBucket.traverse[T],
scalaz.this.Coproduct.coproductTraverse[[B]scalaz.Const[quasar.qscript.DeadEnd,B
],
[A]quasar.qscript.QScriptCore[T,A]](scalaz.this.Const.constTraverse[quasar.qscri
pt.DeadEnd],
qscript.this.QScriptCore.traverse[T])))))))))(scalaz.this.Const.constTraverse[qu
asar.qscript.ShiftedRead],
scalaz.this.Coproduct.coproductTraverse[[B]scalaz.Const[quasar.qscript.Read,B],
[A]scalaz.Coproduct[[β$6$]quasar.qscript.EquiJoin[T,β$6$],[β$7$]scalaz.Coproduct
[[β$4$]quasar.qscript.ThetaJoin[T,β$4$],[β$5$]scalaz.Coproduct[[β$2$]quasar.qscr
ipt.ProjectBucket[T,β$2$],[β$3$]scalaz.Coproduct[[β$0$]scalaz.Const[quasar.qscri
pt.DeadEnd,β$0$],[β$1$]quasar.qscript.QScriptCore[T,β$1$],β$3$],β$5$],β$7$],A]](
scalaz.this.Const.constTraverse[quasar.qscript.Read],
scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.EquiJoin[T,A],
[A]scalaz.Coproduct[[β$4$]quasar.qscript.ThetaJoin[T,β$4$],[β$5$]scalaz.Coproduc
t[[β$2$]quasar.qscript.ProjectBucket[T,β$2$],[β$3$]scalaz.Coproduct[[β$0$]scalaz
.Const[quasar.qscript.DeadEnd,β$0$],[β$1$]quasar.qscript.QScriptCore[T,β$1$],β$3
$],β$5$],A]](qscript.this.EquiJoin.traverse[T],
scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.ThetaJoin[T,A],
[A]scalaz.Coproduct[[β$2$]quasar.qscript.ProjectBucket[T,β$2$],[β$3$]scalaz.Copr
oduct[[β$0$]scalaz.Const[quasar.qscript.DeadEnd,β$0$],[β$1$]quasar.qscript.QScri
ptCore[T,β$1$],β$3$],A]](qscript.this.ThetaJoin.traverse[T],
scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.ProjectBucket[T,A],
[A]scalaz.Coproduct[[β$0$]scalaz.Const[quasar.qscript.DeadEnd,β$0$],[β$1$]quasar
.qscript.QScriptCore[T,β$1$],A]](qscript.this.ProjectBucket.traverse[T],
scalaz.this.Coproduct.coproductTraverse[[B]scalaz.Const[quasar.qscript.DeadEnd,B
],
[A]quasar.qscript.QScriptCore[T,A]](scalaz.this.Const.constTraverse[quasar.qscri
pt.DeadEnd], qscript.this.QScriptCore.traverse[T]))))))))) match {