If we want to argue about maybeTo and the Fairbairn threshold, probably we should argue about whether to include maybeToList, which is less general than maybeTo. Jeff