static <A, B> B __qdot(A lhs, IF1<A, B> rhs) {
  ret __qdot(rhs, lhs);
}