[svanderbleek]

FP and particularly the Haskell community is very aware of the expression problem and you can find many blog posts and papers on solutions.

[eru]

That 'ufo' knows about the name expression problem at all betrays that they are very aware of that work in the FP community.