What is the expression problem?

A fundamental tension in language design - how to extend a data abstraction with both new variants (data) and new operations (functions) without modifying existing code.