Piping module attributes

Sorry, what I meant was “use a credo rule to enforce this”