It sounds like you had roughly the same setup as what the Tweet author describes, except you didn't need fancy typing features. Like, yeah, enforcing that env

It sounds like you had roughly the same setup as what the Tweet author describes, except you didn't need fancy typing features. Like, yeah, enforcing that env variables are accessed in a structured way is kind of a solved problem. I don't think dependent typing adds that much.