In OCaml polymorphic variants solve the expression problem.<p>Solutions to the expression problem in Haskell feel heavyweight. I&#x27;ve personally never encountered the problem in serious or production code. I cannot say whether that&#x27;s because it isn&#x27;t that important in practice or because its difficulty causes me to avoid designs that run into it.