The line of thought you are expressing here really reminds me of the work on Zombie, a research language that Stephanie Weirich, among many others, worked on. I

The line of thought you are expressing here really reminds me of the work on Zombie, a research language that Stephanie Weirich, among many others, worked on. In particular was the dissertation research by Chris Casinghino. He gave a talk at Boston Haskell [1] that has some really well argued points that argue for your perspective in many respects. 1 — https://m.youtube.com/watch?v=_2jrmgO_Gq0 https://m.youtube.com/watch?v=_2jrmgO_Gq0