static ItIt<S> allWordsOfAlphabetWithLength(int length, S alphabet) {
  ret mapI join(outerProduct(rep(n, characters(alphabet))));
}