static bool notNullAndDifferent(O a, O b) {
  ret a != null && b != null && neq(a, b);
}