injectable.diff

+  object ::\:: {
+    def apply[F[_]] = new Aux[F]
+
+    final class Aux[F[_]] {
+      def apply[T[_[_]], G[_]]
+        (i: Injectable.Aux[G, QScriptTotal[T, ?]])
+        (implicit F: F :<: QScriptTotal[T, ?])
+          : Injectable.Aux[Coproduct[F, G, ?], QScriptTotal[T, ?]] =
+        Injectable.coproduct(Injectable.inject[F, QScriptTotal[T, ?]], i)
+    }
+  }
+
+  def ::/::[T[_[_]], F[_], G[_]]
+    (implicit F: F :<: QScriptTotal[T, ?], G: G :<: QScriptTotal[T, ?])
+      : Injectable.Aux[Coproduct[F, G, ?], QScriptTotal[T, ?]] =
+    Injectable.coproduct(
+      Injectable.inject[F, QScriptTotal[T, ?]],
+      Injectable.inject[G, QScriptTotal[T, ?]])

   implicit val QS: Injectable.Aux[QS, QScriptTotal[Fix, ?]] =
-    Injectable.coproduct(Injectable.inject[QScriptCore[Fix, ?], QScriptTotal[Fix, ?]],
-      Injectable.coproduct(Injectable.inject[ThetaJoin[Fix, ?], QScriptTotal[Fix, ?]],
-        Injectable.coproduct(Injectable.inject[Const[Read, ?], QScriptTotal[Fix, ?]],
-          Injectable.inject[Const[DeadEnd, ?], QScriptTotal[Fix, ?]])))
+    ::\::[QScriptCore[Fix, ?]](
+      ::\::[ThetaJoin[Fix, ?]](
+        ::/::[Fix, Const[Read, ?], Const[DeadEnd, ?]]))