Can backpack solve the 'basement' problem?

jaror: > Perhaps we should normalize everybody specifying interfaces for all their dependencies. That would be an interesting experiment. I suspect it could even help with LLM-based coding because, on one hand, a signature is the natural place to document how you intend to use some library and, on the other, it would help the LLM to find relevant context without jumping around too much. I think this (not Haskell related) video is relevant. One problem with it is that we would lose the information provided by dependency version bounds. But perhaps we can always provide a properly instantiated version of the code in a separate public library.