“declaration follows usage” is not a worthy goal. It's unreadable and doesn't allow for creating new parametrized types.