WIP SI-7899 prohibit eta-expansion to (=> A) => B.

We get it wrong and it leads to ClassCastExceptions. Getting it
right isn't straight forward.