with __structuredAttributes and the finalAttrs pattern, It’s easier to modify a derivation via overrideAttrs which has the benefit of being user to explore and use in the REPL. Maybe it’s possible to do the same with the override pattern but 1. I dont know how 2. I doubt it would be as ergonomic