> Nonsense. Without parametricity your software is not compositional and it becomes impossible to write correct software to solve complex problems.

In theory there is no difference between theory and practice. In practice there is.