Instead of generics that parameterize a type or a function, it seems like in a lot of cases you'd rather parameterize a whole file/module. Are there languages that do this?
Conversation
Replying to
`variables` in Lean, Agda, and Coq will do this, I think! It adds a parameter to any definition that uses the variable in the module. Alternatively you could make a parameterised module: agda.readthedocs.io/en/latest/lang

