static ItIt<S> allABCombinationsOfLength(int n) {
  ret mapI join(outerProduct(rep(n, ll("a", "b")));
}