add arrow2..arrowN helper function

[illusory0x0]

fn arrow2_curry[A, B, C](f : (A, B) -> C) -> @qc.Arrow[A, @qc.Arrow[B, C]] {
  @unsafe.coerce(@fun.curry2(f))
}

fn arrow2_tuple[A, B, C](f : (A, B) -> C) -> @qc.Arrow[(A, B), C] {
  fn(tuple : (A, B)) -> C { f(tuple.0, tuple.1) } |> @qc.Arrow
}

• use arrow2_tuple implement this wrapper function

  • implement Arbitrary for TupleN in core library.
  • implement Shrink for TupleN
  • ... other traits in quickcheck

• use arrow2_curry, we need to test coerce and sacrifice performance.

Tuple version is 1.2 times faster than curry version,
but curry version is 1.77 times faster than forall

• feat: add benchmark for tuple #35
• add Arrow2...Arrow9 to improve performance #31