abstract defapply[T, U, V, W, X, Y, Z, R](f: (T, U, V, W, X, Y, Z, A, B) ⇒ R)(implicit j: SJoin[::[T, ::[U, ::[V, ::[W, ::[X, ::[Y, ::[Z, I]]]]]]], HNil, R], c: FCapture[(T, U, V, W, X, Y, Z, A, B) ⇒ R]): Rule[In, Out]
abstract defapply[U, V, W, X, Y, Z, R](f: (U, V, W, X, Y, Z, A, B) ⇒ R)(implicit j: SJoin[::[U, ::[V, ::[W, ::[X, ::[Y, ::[Z, I]]]]]], HNil, R], c: FCapture[(U, V, W, X, Y, Z, A, B) ⇒ R]): Rule[In, Out]
abstract defapply[V, W, X, Y, Z, R](f: (V, W, X, Y, Z, A, B) ⇒ R)(implicit j: SJoin[::[V, ::[W, ::[X, ::[Y, ::[Z, I]]]]], HNil, R], c: FCapture[(V, W, X, Y, Z, A, B) ⇒ R]): Rule[In, Out]
abstract defapply[W, X, Y, Z, R](f: (W, X, Y, Z, A, B) ⇒ R)(implicit j: SJoin[::[W, ::[X, ::[Y, ::[Z, I]]]], HNil, R], c: FCapture[(W, X, Y, Z, A, B) ⇒ R]): Rule[In, Out]
abstract defapply[X, Y, Z, R](f: (X, Y, Z, A, B) ⇒ R)(implicit j: SJoin[::[X, ::[Y, ::[Z, I]]], HNil, R], c: FCapture[(X, Y, Z, A, B) ⇒ R]): Rule[In, Out]
abstract defapply[Y, Z, R](f: (Y, Z, A, B) ⇒ R)(implicit j: SJoin[::[Y, ::[Z, I]], HNil, R], c: FCapture[(Y, Z, A, B) ⇒ R]): Rule[In, Out]
abstract defapply[Z, R](f: (Z, A, B) ⇒ R)(implicit j: SJoin[::[Z, I], HNil, R], c: FCapture[(Z, A, B) ⇒ R]): Rule[In, Out]
abstract defapply[R](f: (A, B) ⇒ R)(implicit j: SJoin[I, HNil, R], c: FCapture[(A, B) ⇒ R]): Rule[In, Out]