abstract defapply[E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, RR](f: (E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z) ⇒ RR)(implicit j: SJoin[::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, ::[R, ::[S, ::[T, ::[U, ::[V, ::[W, ::[X, ::[Y, ::[Z, II]]]]]]]]]]]]]]]]]]]]]], HNil, RR], c: FCapture[(E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z) ⇒ RR]): Rule[In, Out]
abstract defapply[F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, RR](f: (F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z) ⇒ RR)(implicit j: SJoin[::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, ::[R, ::[S, ::[T, ::[U, ::[V, ::[W, ::[X, ::[Y, ::[Z, II]]]]]]]]]]]]]]]]]]]]], HNil, RR], c: FCapture[(F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z) ⇒ RR]): Rule[In, Out]
abstract defapply[G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, RR](f: (G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z) ⇒ RR)(implicit j: SJoin[::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, ::[R, ::[S, ::[T, ::[U, ::[V, ::[W, ::[X, ::[Y, ::[Z, II]]]]]]]]]]]]]]]]]]]], HNil, RR], c: FCapture[(G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z) ⇒ RR]): Rule[In, Out]
abstract defapply[H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, RR](f: (H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z) ⇒ RR)(implicit j: SJoin[::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, ::[R, ::[S, ::[T, ::[U, ::[V, ::[W, ::[X, ::[Y, ::[Z, II]]]]]]]]]]]]]]]]]]], HNil, RR], c: FCapture[(H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z) ⇒ RR]): Rule[In, Out]
abstract defapply[I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, RR](f: (I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z) ⇒ RR)(implicit j: SJoin[::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, ::[R, ::[S, ::[T, ::[U, ::[V, ::[W, ::[X, ::[Y, ::[Z, II]]]]]]]]]]]]]]]]]], HNil, RR], c: FCapture[(I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z) ⇒ RR]): Rule[In, Out]
abstract defapply[J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, RR](f: (J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z) ⇒ RR)(implicit j: SJoin[::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, ::[R, ::[S, ::[T, ::[U, ::[V, ::[W, ::[X, ::[Y, ::[Z, II]]]]]]]]]]]]]]]]], HNil, RR], c: FCapture[(J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z) ⇒ RR]): Rule[In, Out]
abstract defapply[K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, RR](f: (K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z) ⇒ RR)(implicit j: SJoin[::[K, ::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, ::[R, ::[S, ::[T, ::[U, ::[V, ::[W, ::[X, ::[Y, ::[Z, II]]]]]]]]]]]]]]]], HNil, RR], c: FCapture[(K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z) ⇒ RR]): Rule[In, Out]
abstract defapply[L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, RR](f: (L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z) ⇒ RR)(implicit j: SJoin[::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, ::[R, ::[S, ::[T, ::[U, ::[V, ::[W, ::[X, ::[Y, ::[Z, II]]]]]]]]]]]]]]], HNil, RR], c: FCapture[(L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z) ⇒ RR]): Rule[In, Out]
abstract defapply[M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, RR](f: (M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z) ⇒ RR)(implicit j: SJoin[::[M, ::[N, ::[O, ::[P, ::[Q, ::[R, ::[S, ::[T, ::[U, ::[V, ::[W, ::[X, ::[Y, ::[Z, II]]]]]]]]]]]]]], HNil, RR], c: FCapture[(M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z) ⇒ RR]): Rule[In, Out]
abstract defapply[N, O, P, Q, R, S, T, U, V, W, X, Y, Z, RR](f: (N, O, P, Q, R, S, T, U, V, W, X, Y, Z) ⇒ RR)(implicit j: SJoin[::[N, ::[O, ::[P, ::[Q, ::[R, ::[S, ::[T, ::[U, ::[V, ::[W, ::[X, ::[Y, ::[Z, II]]]]]]]]]]]]], HNil, RR], c: FCapture[(N, O, P, Q, R, S, T, U, V, W, X, Y, Z) ⇒ RR]): Rule[In, Out]
abstract defapply[O, P, Q, R, S, T, U, V, W, X, Y, Z, RR](f: (O, P, Q, R, S, T, U, V, W, X, Y, Z) ⇒ RR)(implicit j: SJoin[::[O, ::[P, ::[Q, ::[R, ::[S, ::[T, ::[U, ::[V, ::[W, ::[X, ::[Y, ::[Z, II]]]]]]]]]]]], HNil, RR], c: FCapture[(O, P, Q, R, S, T, U, V, W, X, Y, Z) ⇒ RR]): Rule[In, Out]
abstract defapply[P, Q, R, S, T, U, V, W, X, Y, Z, RR](f: (P, Q, R, S, T, U, V, W, X, Y, Z) ⇒ RR)(implicit j: SJoin[::[P, ::[Q, ::[R, ::[S, ::[T, ::[U, ::[V, ::[W, ::[X, ::[Y, ::[Z, II]]]]]]]]]]], HNil, RR], c: FCapture[(P, Q, R, S, T, U, V, W, X, Y, Z) ⇒ RR]): Rule[In, Out]
abstract defapply[Q, R, S, T, U, V, W, X, Y, Z, RR](f: (Q, R, S, T, U, V, W, X, Y, Z) ⇒ RR)(implicit j: SJoin[::[Q, ::[R, ::[S, ::[T, ::[U, ::[V, ::[W, ::[X, ::[Y, ::[Z, II]]]]]]]]]], HNil, RR], c: FCapture[(Q, R, S, T, U, V, W, X, Y, Z) ⇒ RR]): Rule[In, Out]
abstract defapply[R, S, T, U, V, W, X, Y, Z, RR](f: (R, S, T, U, V, W, X, Y, Z) ⇒ RR)(implicit j: SJoin[::[R, ::[S, ::[T, ::[U, ::[V, ::[W, ::[X, ::[Y, ::[Z, II]]]]]]]]], HNil, RR], c: FCapture[(R, S, T, U, V, W, X, Y, Z) ⇒ RR]): Rule[In, Out]
abstract defapply[S, T, U, V, W, X, Y, Z, RR](f: (S, T, U, V, W, X, Y, Z) ⇒ RR)(implicit j: SJoin[::[S, ::[T, ::[U, ::[V, ::[W, ::[X, ::[Y, ::[Z, II]]]]]]]], HNil, RR], c: FCapture[(S, T, U, V, W, X, Y, Z) ⇒ RR]): Rule[In, Out]
abstract defapply[T, U, V, W, X, Y, Z, RR](f: (T, U, V, W, X, Y, Z) ⇒ RR)(implicit j: SJoin[::[T, ::[U, ::[V, ::[W, ::[X, ::[Y, ::[Z, II]]]]]]], HNil, RR], c: FCapture[(T, U, V, W, X, Y, Z) ⇒ RR]): Rule[In, Out]