[sclv]

It is well known that in the untyped (or dynamically typed if you prefer that language) case then the expression problem trivializes.

In fact, if we sacrifice type-safety then the problem trivializes in a typed language too.