> Just consider how extremely hard it is to set up systems of dynamic dispatch in Haskell. What? Make a record of function values. Done. You can also go with

> Just consider how extremely hard it is to set up systems of dynamic dispatch in Haskell. What? Make a record of function values. Done. You can also go with an existentially qualified type with type class constraints if you just want the moral equivalent of [Show _], say.