Haskell has existential types, which are specifically used to implement dynamic dispatch. The problem here is weak type systems & excessive statefulness, not dy

Haskell has existential types, which are specifically used to implement dynamic dispatch. The problem here is weak type systems & excessive statefulness, not dynamic dispatch per se.