Comment by pdhborges

The author keeps aluding to the problem of loss of type inference without giving any example. I have no idea if the problem is relevant or not.