Skip to content

Instantly share code, notes, and snippets.

@paulp

paulp/gist:86aacc7ef44564c41a1f06ed7a757241

Created September 27, 2016 20:00
Show Gist options
  • Save paulp/86aacc7ef44564c41a1f06ed7a757241 to your computer and use it in GitHub Desktop.
Save paulp/86aacc7ef44564c41a1f06ed7a757241 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
case (src: A, from: quasar.qscript.FreeQS[T], count: quasar.qscript.FreeQS[T])quasar.qscript.Drop[T,A]((src @ _), (from @ _), (count @ _)) => Drop.apply[T, A](src, quasar.fp.`package`.freeTransCata[T, [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A], quasar.qscript.Hole, quasar.qscript.Hole](from)(quasar.fp.`package`.liftCo[T, [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A], quasar.qscript.Hole]($anon.this.opt.applyToFreeQS[[β$25$]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],β$25$]](scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.QScriptCore[T,A], [A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A]](QScriptCore.this.traverse[T], scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.ProjectBucket[T,A], [A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A]](qscript.this.ProjectBucket.traverse[T], scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.ThetaJoin[T,A], [A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A]](qscript.this.ThetaJoin.traverse[T], scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.EquiJoin[T,A], [A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A]](qscript.this.EquiJoin.traverse[T], scalaz.this.Coproduct.coproductTraverse[[B]scalaz.Const[quasar.qscript.ShiftedRead,B], [A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A]](scalaz.this.Const.constTraverse[quasar.qscript.ShiftedRead], scalaz.this.Coproduct.coproductTraverse[[B]scalaz.Const[quasar.qscript.Read,B], [B]scalaz.Const[quasar.qscript.DeadEnd,B]](scalaz.this.Const.constTraverse[quasar.qscript.Read], scalaz.this.Const.constTraverse[quasar.qscript.DeadEnd])))))), qscript.this.Normalizable.coproduct[[A]quasar.qscript.QScriptCore[T,A], [A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A]](QScriptCore.this.normalizable[T](evidence$9, evidence$10, evidence$11, evidence$12), qscript.this.Normalizable.coproduct[[A]quasar.qscript.ProjectBucket[T,A], [A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A]](qscript.this.ProjectBucket.normalizable[T](evidence$9, evidence$10, evidence$11), qscript.this.Normalizable.coproduct[[A]quasar.qscript.ThetaJoin[T,A], [A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A]](qscript.this.ThetaJoin.normalizable[T](evidence$9, evidence$10, evidence$11, evidence$12), qscript.this.Normalizable.coproduct[[A]quasar.qscript.EquiJoin[T,A], [A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A]](qscript.this.EquiJoin.normalizable[T](evidence$9, evidence$10, evidence$11, evidence$12), qscript.this.Normalizable.coproduct[[B]scalaz.Const[quasar.qscript.ShiftedRead,B], [A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A]](qscript.this.Normalizable.const[quasar.qscript.ShiftedRead], qscript.this.Normalizable.coproduct[[B]scalaz.Const[quasar.qscript.Read,B], [B]scalaz.Const[quasar.qscript.DeadEnd,B]](qscript.this.Normalizable.const[quasar.qscript.Read], qscript.this.Normalizable.const[quasar.qscript.DeadEnd])))))), qscript.this.Coalesce.coproduct[T, [A]quasar.qscript.QScriptCore[T,A], [A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](qscript.this.Coalesce.qscriptCore[T, [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](evidence$9, evidence$10, evidence$11), qscript.this.Coalesce.coproduct[T, [A]quasar.qscript.ProjectBucket[T,A], [A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](qscript.this.Coalesce.projectBucket[T, [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](evidence$9), qscript.this.Coalesce.coproduct[T, [A]quasar.qscript.ThetaJoin[T,A], [A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](qscript.this.Coalesce.thetaJoin[T, [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]], qscript.this.Coalesce.coproduct[T, [A]quasar.qscript.EquiJoin[T,A], [A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](qscript.this.Coalesce.equiJoin[T, [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]], qscript.this.Coalesce.coproduct[T, [B]scalaz.Const[quasar.qscript.ShiftedRead,B], [A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](qscript.this.Coalesce.shiftedRead[T, [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]], qscript.this.Coalesce.coproduct[T, [B]scalaz.Const[quasar.qscript.Read,B], [B]scalaz.Const[quasar.qscript.DeadEnd,B], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](qscript.this.Coalesce.read[T, [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]], qscript.this.Coalesce.deadEnd[T, [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]])))))), scalaz.this.Inject.leftInjectInstance[[A]quasar.qscript.QScriptCore[T,A], [A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A]], scalaz.this.Inject.rightInjectInstance[[A]quasar.qscript.ThetaJoin[T,A], [A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A], [A]quasar.qscript.QScriptCore[T,A]](scalaz.this.Inject.rightInjectInstance[[A]quasar.qscript.ThetaJoin[T,A], [A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A], [A]quasar.qscript.ProjectBucket[T,A]](scalaz.this.Inject.leftInjectInstance[[A]quasar.qscript.ThetaJoin[T,A], [A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A]])), qscript.this.Injectable.coproduct[[A]quasar.qscript.QScriptCore[T,A], [A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](qscript.this.Injectable.inject[[A]quasar.qscript.QScriptCore[T,A], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](scalaz.this.Inject.leftInjectInstance[[A]quasar.qscript.QScriptCore[T,A], [A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A]]), qscript.this.Injectable.coproduct[[A]quasar.qscript.ProjectBucket[T,A], [A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](qscript.this.Injectable.inject[[A]quasar.qscript.ProjectBucket[T,A], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](scalaz.this.Inject.rightInjectInstance[[A]quasar.qscript.ProjectBucket[T,A], [A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A], [A]quasar.qscript.QScriptCore[T,A]](scalaz.this.Inject.leftInjectInstance[[A]quasar.qscript.ProjectBucket[T,A], [A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A]])), qscript.this.Injectable.coproduct[[A]quasar.qscript.ThetaJoin[T,A], [A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](qscript.this.Injectable.inject[[A]quasar.qscript.ThetaJoin[T,A], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](scalaz.this.Inject.rightInjectInstance[[A]quasar.qscript.ThetaJoin[T,A], [A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A], [A]quasar.qscript.QScriptCore[T,A]](scalaz.this.Inject.rightInjectInstance[[A]quasar.qscript.ThetaJoin[T,A], [A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A], [A]quasar.qscript.ProjectBucket[T,A]](scalaz.this.Inject.leftInjectInstance[[A]quasar.qscript.ThetaJoin[T,A], [A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A]]))), qscript.this.Injectable.coproduct[[A]quasar.qscript.EquiJoin[T,A], [A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](qscript.this.Injectable.inject[[A]quasar.qscript.EquiJoin[T,A], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](scalaz.this.Inject.rightInjectInstance[[A]quasar.qscript.EquiJoin[T,A], [A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A], [A]quasar.qscript.QScriptCore[T,A]](scalaz.this.Inject.rightInjectInstance[[A]quasar.qscript.EquiJoin[T,A], [A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A], [A]quasar.qscript.ProjectBucket[T,A]](scalaz.this.Inject.rightInjectInstance[[A]quasar.qscript.EquiJoin[T,A], [A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A], [A]quasar.qscript.ThetaJoin[T,A]](scalaz.this.Inject.leftInjectInstance[[A]quasar.qscript.EquiJoin[T,A], [A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A]])))), qscript.this.Injectable.coproduct[[B]scalaz.Const[quasar.qscript.ShiftedRead,B], [A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](qscript.this.Injectable.inject[[B]scalaz.Const[quasar.qscript.ShiftedRead,B], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](scalaz.this.Inject.rightInjectInstance[[B]scalaz.Const[quasar.qscript.ShiftedRead,B], [A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A], [A]quasar.qscript.QScriptCore[T,A]](scalaz.this.Inject.rightInjectInstance[[B]scalaz.Const[quasar.qscript.ShiftedRead,B], [A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A], [A]quasar.qscript.ProjectBucket[T,A]](scalaz.this.Inject.rightInjectInstance[[B]scalaz.Const[quasar.qscript.ShiftedRead,B], [A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A], [A]quasar.qscript.ThetaJoin[T,A]](scalaz.this.Inject.rightInjectInstance[[B]scalaz.Const[quasar.qscript.ShiftedRead,B], [A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A], [A]quasar.qscript.EquiJoin[T,A]](scalaz.this.Inject.leftInjectInstance[[B]scalaz.Const[quasar.qscript.ShiftedRead,B], [A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A]]))))), qscript.this.Injectable.coproduct[[B]scalaz.Const[quasar.qscript.Read,B], [B]scalaz.Const[quasar.qscript.DeadEnd,B], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](qscript.this.Injectable.inject[[B]scalaz.Const[quasar.qscript.Read,B], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](scalaz.this.Inject.rightInjectInstance[[B]scalaz.Const[quasar.qscript.Read,B], [A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A], [A]quasar.qscript.QScriptCore[T,A]](scalaz.this.Inject.rightInjectInstance[[B]scalaz.Const[quasar.qscript.Read,B], [A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A], [A]quasar.qscript.ProjectBucket[T,A]](scalaz.this.Inject.rightInjectInstance[[B]scalaz.Const[quasar.qscript.Read,B], [A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A], [A]quasar.qscript.ThetaJoin[T,A]](scalaz.this.Inject.rightInjectInstance[[B]scalaz.Const[quasar.qscript.Read,B], [A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A], [A]quasar.qscript.EquiJoin[T,A]](scalaz.this.Inject.rightInjectInstance[[B]scalaz.Const[quasar.qscript.Read,B], [A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A], [B]scalaz.Const[quasar.qscript.ShiftedRead,B]](scalaz.this.Inject.leftInjectInstance[[B]scalaz.Const[quasar.qscript.Read,B], [B]scalaz.Const[quasar.qscript.DeadEnd,B]])))))), qscript.this.Injectable.inject[[B]scalaz.Const[quasar.qscript.DeadEnd,B], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](scalaz.this.Inject.rightInjectInstance[[B]scalaz.Const[quasar.qscript.DeadEnd,B], [A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A], [A]quasar.qscript.QScriptCore[T,A]](scalaz.this.Inject.rightInjectInstance[[B]scalaz.Const[quasar.qscript.DeadEnd,B], [A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A], [A]quasar.qscript.ProjectBucket[T,A]](scalaz.this.Inject.rightInjectInstance[[B]scalaz.Const[quasar.qscript.DeadEnd,B], [A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A], [A]quasar.qscript.ThetaJoin[T,A]](scalaz.this.Inject.rightInjectInstance[[B]scalaz.Const[quasar.qscript.DeadEnd,B], [A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A], [A]quasar.qscript.EquiJoin[T,A]](scalaz.this.Inject.rightInjectInstance[[B]scalaz.Const[quasar.qscript.DeadEnd,B], [A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A], [B]scalaz.Const[quasar.qscript.ShiftedRead,B]](scalaz.this.Inject.rightInjectInstance[[B]scalaz.Const[quasar.qscript.DeadEnd,B], [B]scalaz.Const[quasar.qscript.DeadEnd,B], [B]scalaz.Const[quasar.qscript.Read,B]](scalaz.this.Inject.reflexiveInjectInstance[[B]scalaz.Const[quasar.qscript.DeadEnd,B]]))))))))))))))))(evidence$9, evidence$10, scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.QScriptCore[T,A], [A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A]](QScriptCore.this.traverse[T], scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.ProjectBucket[T,A], [A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A]](qscript.this.ProjectBucket.traverse[T], scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.ThetaJoin[T,A], [A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A]](qscript.this.ThetaJoin.traverse[T], scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.EquiJoin[T,A], [A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A]](qscript.this.EquiJoin.traverse[T], scalaz.this.Coproduct.coproductTraverse[[B]scalaz.Const[quasar.qscript.ShiftedRead,B], [A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A]](scalaz.this.Const.constTraverse[quasar.qscript.ShiftedRead], scalaz.this.Coproduct.coproductTraverse[[B]scalaz.Const[quasar.qscript.Read,B], [B]scalaz.Const[quasar.qscript.DeadEnd,B]](scalaz.this.Const.constTraverse[quasar.qscript.Read], scalaz.this.Const.constTraverse[quasar.qscript.DeadEnd])))))), scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.QScriptCore[T,A], [A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A]](QScriptCore.this.traverse[T], scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.ProjectBucket[T,A], [A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A]](qscript.this.ProjectBucket.traverse[T], scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.ThetaJoin[T,A], [A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A]](qscript.this.ThetaJoin.traverse[T], scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.EquiJoin[T,A], [A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A]](qscript.this.EquiJoin.traverse[T], scalaz.this.Coproduct.coproductTraverse[[B]scalaz.Const[quasar.qscript.ShiftedRead,B], [A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A]](scalaz.this.Const.constTraverse[quasar.qscript.ShiftedRead], scalaz.this.Coproduct.coproductTraverse[[B]scalaz.Const[quasar.qscript.Read,B], [B]scalaz.Const[quasar.qscript.DeadEnd,B]](scalaz.this.Const.constTraverse[quasar.qscript.Read], scalaz.this.Const.constTraverse[quasar.qscript.DeadEnd]))))))), quasar.fp.`package`.freeTransCata[T, [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A], quasar.qscript.Hole, quasar.qscript.Hole](count)(quasar.fp.`package`.liftCo[T, [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A], quasar.qscript.Hole]($anon.this.opt.applyToFreeQS[[β$26$]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],β$26$]](scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.QScriptCore[T,A], [A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A]](QScriptCore.this.traverse[T], scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.ProjectBucket[T,A], [A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A]](qscript.this.ProjectBucket.traverse[T], scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.ThetaJoin[T,A], [A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A]](qscript.this.ThetaJoin.traverse[T], scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.EquiJoin[T,A], [A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A]](qscript.this.EquiJoin.traverse[T], scalaz.this.Coproduct.coproductTraverse[[B]scalaz.Const[quasar.qscript.ShiftedRead,B], [A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A]](scalaz.this.Const.constTraverse[quasar.qscript.ShiftedRead], scalaz.this.Coproduct.coproductTraverse[[B]scalaz.Const[quasar.qscript.Read,B], [B]scalaz.Const[quasar.qscript.DeadEnd,B]](scalaz.this.Const.constTraverse[quasar.qscript.Read], scalaz.this.Const.constTraverse[quasar.qscript.DeadEnd])))))), qscript.this.Normalizable.coproduct[[A]quasar.qscript.QScriptCore[T,A], [A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A]](QScriptCore.this.normalizable[T](evidence$9, evidence$10, evidence$11, evidence$12), qscript.this.Normalizable.coproduct[[A]quasar.qscript.ProjectBucket[T,A], [A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A]](qscript.this.ProjectBucket.normalizable[T](evidence$9, evidence$10, evidence$11), qscript.this.Normalizable.coproduct[[A]quasar.qscript.ThetaJoin[T,A], [A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A]](qscript.this.ThetaJoin.normalizable[T](evidence$9, evidence$10, evidence$11, evidence$12), qscript.this.Normalizable.coproduct[[A]quasar.qscript.EquiJoin[T,A], [A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A]](qscript.this.EquiJoin.normalizable[T](evidence$9, evidence$10, evidence$11, evidence$12), qscript.this.Normalizable.coproduct[[B]scalaz.Const[quasar.qscript.ShiftedRead,B], [A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A]](qscript.this.Normalizable.const[quasar.qscript.ShiftedRead], qscript.this.Normalizable.coproduct[[B]scalaz.Const[quasar.qscript.Read,B], [B]scalaz.Const[quasar.qscript.DeadEnd,B]](qscript.this.Normalizable.const[quasar.qscript.Read], qscript.this.Normalizable.const[quasar.qscript.DeadEnd])))))), qscript.this.Coalesce.coproduct[T, [A]quasar.qscript.QScriptCore[T,A], [A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](qscript.this.Coalesce.qscriptCore[T, [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](evidence$9, evidence$10, evidence$11), qscript.this.Coalesce.coproduct[T, [A]quasar.qscript.ProjectBucket[T,A], [A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](qscript.this.Coalesce.projectBucket[T, [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](evidence$9), qscript.this.Coalesce.coproduct[T, [A]quasar.qscript.ThetaJoin[T,A], [A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](qscript.this.Coalesce.thetaJoin[T, [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]], qscript.this.Coalesce.coproduct[T, [A]quasar.qscript.EquiJoin[T,A], [A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](qscript.this.Coalesce.equiJoin[T, [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]], qscript.this.Coalesce.coproduct[T, [B]scalaz.Const[quasar.qscript.ShiftedRead,B], [A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](qscript.this.Coalesce.shiftedRead[T, [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]], qscript.this.Coalesce.coproduct[T, [B]scalaz.Const[quasar.qscript.Read,B], [B]scalaz.Const[quasar.qscript.DeadEnd,B], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](qscript.this.Coalesce.read[T, [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]], qscript.this.Coalesce.deadEnd[T, [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]])))))), scalaz.this.Inject.leftInjectInstance[[A]quasar.qscript.QScriptCore[T,A], [A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A]], scalaz.this.Inject.rightInjectInstance[[A]quasar.qscript.ThetaJoin[T,A], [A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A], [A]quasar.qscript.QScriptCore[T,A]](scalaz.this.Inject.rightInjectInstance[[A]quasar.qscript.ThetaJoin[T,A], [A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A], [A]quasar.qscript.ProjectBucket[T,A]](scalaz.this.Inject.leftInjectInstance[[A]quasar.qscript.ThetaJoin[T,A], [A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A]])), qscript.this.Injectable.coproduct[[A]quasar.qscript.QScriptCore[T,A], [A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](qscript.this.Injectable.inject[[A]quasar.qscript.QScriptCore[T,A], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](scalaz.this.Inject.leftInjectInstance[[A]quasar.qscript.QScriptCore[T,A], [A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A]]), qscript.this.Injectable.coproduct[[A]quasar.qscript.ProjectBucket[T,A], [A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](qscript.this.Injectable.inject[[A]quasar.qscript.ProjectBucket[T,A], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](scalaz.this.Inject.rightInjectInstance[[A]quasar.qscript.ProjectBucket[T,A], [A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A], [A]quasar.qscript.QScriptCore[T,A]](scalaz.this.Inject.leftInjectInstance[[A]quasar.qscript.ProjectBucket[T,A], [A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A]])), qscript.this.Injectable.coproduct[[A]quasar.qscript.ThetaJoin[T,A], [A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](qscript.this.Injectable.inject[[A]quasar.qscript.ThetaJoin[T,A], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](scalaz.this.Inject.rightInjectInstance[[A]quasar.qscript.ThetaJoin[T,A], [A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A], [A]quasar.qscript.QScriptCore[T,A]](scalaz.this.Inject.rightInjectInstance[[A]quasar.qscript.ThetaJoin[T,A], [A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A], [A]quasar.qscript.ProjectBucket[T,A]](scalaz.this.Inject.leftInjectInstance[[A]quasar.qscript.ThetaJoin[T,A], [A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A]]))), qscript.this.Injectable.coproduct[[A]quasar.qscript.EquiJoin[T,A], [A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](qscript.this.Injectable.inject[[A]quasar.qscript.EquiJoin[T,A], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](scalaz.this.Inject.rightInjectInstance[[A]quasar.qscript.EquiJoin[T,A], [A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A], [A]quasar.qscript.QScriptCore[T,A]](scalaz.this.Inject.rightInjectInstance[[A]quasar.qscript.EquiJoin[T,A], [A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A], [A]quasar.qscript.ProjectBucket[T,A]](scalaz.this.Inject.rightInjectInstance[[A]quasar.qscript.EquiJoin[T,A], [A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A], [A]quasar.qscript.ThetaJoin[T,A]](scalaz.this.Inject.leftInjectInstance[[A]quasar.qscript.EquiJoin[T,A], [A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A]])))), qscript.this.Injectable.coproduct[[B]scalaz.Const[quasar.qscript.ShiftedRead,B], [A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](qscript.this.Injectable.inject[[B]scalaz.Const[quasar.qscript.ShiftedRead,B], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](scalaz.this.Inject.rightInjectInstance[[B]scalaz.Const[quasar.qscript.ShiftedRead,B], [A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A], [A]quasar.qscript.QScriptCore[T,A]](scalaz.this.Inject.rightInjectInstance[[B]scalaz.Const[quasar.qscript.ShiftedRead,B], [A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A], [A]quasar.qscript.ProjectBucket[T,A]](scalaz.this.Inject.rightInjectInstance[[B]scalaz.Const[quasar.qscript.ShiftedRead,B], [A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A], [A]quasar.qscript.ThetaJoin[T,A]](scalaz.this.Inject.rightInjectInstance[[B]scalaz.Const[quasar.qscript.ShiftedRead,B], [A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A], [A]quasar.qscript.EquiJoin[T,A]](scalaz.this.Inject.leftInjectInstance[[B]scalaz.Const[quasar.qscript.ShiftedRead,B], [A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A]]))))), qscript.this.Injectable.coproduct[[B]scalaz.Const[quasar.qscript.Read,B], [B]scalaz.Const[quasar.qscript.DeadEnd,B], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](qscript.this.Injectable.inject[[B]scalaz.Const[quasar.qscript.Read,B], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](scalaz.this.Inject.rightInjectInstance[[B]scalaz.Const[quasar.qscript.Read,B], [A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A], [A]quasar.qscript.QScriptCore[T,A]](scalaz.this.Inject.rightInjectInstance[[B]scalaz.Const[quasar.qscript.Read,B], [A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A], [A]quasar.qscript.ProjectBucket[T,A]](scalaz.this.Inject.rightInjectInstance[[B]scalaz.Const[quasar.qscript.Read,B], [A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A], [A]quasar.qscript.ThetaJoin[T,A]](scalaz.this.Inject.rightInjectInstance[[B]scalaz.Const[quasar.qscript.Read,B], [A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A], [A]quasar.qscript.EquiJoin[T,A]](scalaz.this.Inject.rightInjectInstance[[B]scalaz.Const[quasar.qscript.Read,B], [A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A], [B]scalaz.Const[quasar.qscript.ShiftedRead,B]](scalaz.this.Inject.leftInjectInstance[[B]scalaz.Const[quasar.qscript.Read,B], [B]scalaz.Const[quasar.qscript.DeadEnd,B]])))))), qscript.this.Injectable.inject[[B]scalaz.Const[quasar.qscript.DeadEnd,B], [A]scalaz.Coproduct[[β$6$]quasar.qscript.QScriptCore[T,β$6$],[A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A],A]](scalaz.this.Inject.rightInjectInstance[[B]scalaz.Const[quasar.qscript.DeadEnd,B], [A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A], [A]quasar.qscript.QScriptCore[T,A]](scalaz.this.Inject.rightInjectInstance[[B]scalaz.Const[quasar.qscript.DeadEnd,B], [A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A], [A]quasar.qscript.ProjectBucket[T,A]](scalaz.this.Inject.rightInjectInstance[[B]scalaz.Const[quasar.qscript.DeadEnd,B], [A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A], [A]quasar.qscript.ThetaJoin[T,A]](scalaz.this.Inject.rightInjectInstance[[B]scalaz.Const[quasar.qscript.DeadEnd,B], [A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A], [A]quasar.qscript.EquiJoin[T,A]](scalaz.this.Inject.rightInjectInstance[[B]scalaz.Const[quasar.qscript.DeadEnd,B], [A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A], [B]scalaz.Const[quasar.qscript.ShiftedRead,B]](scalaz.this.Inject.rightInjectInstance[[B]scalaz.Const[quasar.qscript.DeadEnd,B], [B]scalaz.Const[quasar.qscript.DeadEnd,B], [B]scalaz.Const[quasar.qscript.Read,B]](scalaz.this.Inject.reflexiveInjectInstance[[B]scalaz.Const[quasar.qscript.DeadEnd,B]]))))))))))))))))(evidence$9, evidence$10, scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.QScriptCore[T,A], [A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A]](QScriptCore.this.traverse[T], scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.ProjectBucket[T,A], [A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A]](qscript.this.ProjectBucket.traverse[T], scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.ThetaJoin[T,A], [A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A]](qscript.this.ThetaJoin.traverse[T], scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.EquiJoin[T,A], [A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A]](qscript.this.EquiJoin.traverse[T], scalaz.this.Coproduct.coproductTraverse[[B]scalaz.Const[quasar.qscript.ShiftedRead,B], [A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A]](scalaz.this.Const.constTraverse[quasar.qscript.ShiftedRead], scalaz.this.Coproduct.coproductTraverse[[B]scalaz.Const[quasar.qscript.Read,B], [B]scalaz.Const[quasar.qscript.DeadEnd,B]](scalaz.this.Const.constTraverse[quasar.qscript.Read], scalaz.this.Const.constTraverse[quasar.qscript.DeadEnd])))))), scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.QScriptCore[T,A], [A]scalaz.Coproduct[[β$0$]quasar.qscript.ProjectBucket[T,β$0$],[A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A],A]](QScriptCore.this.traverse[T], scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.ProjectBucket[T,A], [A]scalaz.Coproduct[[β$5$]quasar.qscript.ThetaJoin[T,β$5$],[A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A],A]](qscript.this.ProjectBucket.traverse[T], scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.ThetaJoin[T,A], [A]scalaz.Coproduct[[β$1$]quasar.qscript.EquiJoin[T,β$1$],[A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A],A]](qscript.this.ThetaJoin.traverse[T], scalaz.this.Coproduct.coproductTraverse[[A]quasar.qscript.EquiJoin[T,A], [A]scalaz.Coproduct[[β$4$]scalaz.Const[quasar.qscript.ShiftedRead,β$4$],[A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A],A]](qscript.this.EquiJoin.traverse[T], scalaz.this.Coproduct.coproductTraverse[[B]scalaz.Const[quasar.qscript.ShiftedRead,B], [A]scalaz.Coproduct[[β$2$]scalaz.Const[quasar.qscript.Read,β$2$],[β$3$]scalaz.Const[quasar.qscript.DeadEnd,β$3$],A]](scalaz.this.Const.constTraverse[quasar.qscript.ShiftedRead], scalaz.this.Coproduct.coproductTraverse[[B]scalaz.Const[quasar.qscript.Read,B], [B]scalaz.Const[quasar.qscript.DeadEnd,B]](scalaz.this.Const.constTraverse[quasar.qscript.Read], scalaz.this.Const.constTraverse[quasar.qscript.DeadEnd]))))))))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment