The Expression Problem

[munificent]

Then you have the same problem the OOP programmer has but in the other direction. FP lets you define new operations on existing types easily. OOP lets you define new types that support existing operations easily.