Right.  I'd still rather list them explicitly though.  It means our code won't break if `lens` happens to add some new names in the future which clash with diagrams names (an entirely plausible scenario).