I only recently realized that certain type system features, like polymorphic recursion, make monomorphization impossible in the general case. In Haskell for exa

I only recently realized that certain type system features, like polymorphic recursion, make monomorphization impossible in the general case. In Haskell for example, it’s by necessity only an optimization that’s used where applicable, and not the general strategy.