How does superposition interact with modules?
Modules and superposition both solve issues of code reuse and program composition. It appears that certain approaches to superposition and modules complement each other nicely. This is already known from other languages which combine object-oriented programming (an approach to modules) with features or aspects (approaches to superposition). On the other hand, considering superposition and modules separately ensures we do not conflate the two and end up limiting our view of superposition to work with modules, or visa versa. We are not aware of any research involving superposition in a functional language (without modules), so this may also be a more fertile research area.
