How to decide whether to parameterize on the type-level or the module-level when designing modules?
问题 I'm working towards a deep understanding of ML-style modules: I think the concept is important and I love the kind of thinking they encourage. I am just now discovering the tension that can arise between parametric types and parametric modules. I am seeking tools for thinking about the matter that will help me make smart design decisions as I build up my programs. Fist I will try to describe my question in general. Then I will provide a concrete example from a learning project I am working on