Agda developer me and Agda user me are sometimes at odds in funny ways

Agda developer me: Not using the provided built-in modules is unsupported

Agda user me: [doesn't use those, code breaks literally every other commit]

Why do I do this to myself?