There are cases where referential transparency is essential, so it worth tolerating all the FP issues to get there. Also, there is a lot of cases where you nee

There are cases where referential transparency is essential, so it worth tolerating all the FP issues to get there. Also, there is a lot of cases where you need a total language with all its guarantees.