Yes, the `hiding (connect)` is necessary because the new arrows stuff that just landed in `diagrams-lib` added a `connect` function.  We will eventually need to go through and update the existing uses of custom `connect` functions to use the one from `diagrams-lib`, but hiding it is fine for now.