uh, parametric modules? Haskell tends to use Typeclasses instead. (Yes, I know each file gets called a module, but that's not really the same as seeing a "mod

uh, parametric modules? Haskell tends to use Typeclasses instead. (Yes, I know each file gets called a module, but that's not really the same as seeing a "module" keyword in the file). Unless backpack counts? I haven't been following it. I know there's a thing in Coq/ML/OCAML which uses the keyword `module` and can do some of the same things Typeclasses can do but aren't exactly the same. I don't know them well enough to explain them, but I know Haskell doesn't have them. https://gitlab.haskell.org/ghc/ghc/wikis/backpack https://gitlab.haskell.org/ghc/ghc/wikis/backpack