RE: Civility notes (was "Traversable instances for (,,) a b")