Is first-class module more powerful than polymorphic record?

unfode October 13, 2023, 1:10pm 22

Is it possible to achieve this in a dependently typed language?

Topic		Replies	Views
Who needs polymorphics types? (when we have modules) Learning	17	1564	April 21, 2021
Nested functors: Compiler can't determine type equality Learning functor	18	266	February 24, 2026
Single-function functors or first-class modules in function arguments? Learning ocaml , module , first-class_modules , functor	0	1449	November 28, 2019
Polymorphism in OCAML Learning polymorphism	7	824	July 12, 2024
Functor implementing polymorphic module type... Help! Learning types , functor , polymorphism	11	2133	September 9, 2020