just read this thing about specs and I'm still not sure I agree. the more specific you are about something, the more you're gonna lead yourself into unexpected consequences down the line https://haskellforall.com/2026/03/a-sufficiently-detailed-spec-is-code