All these abstractions leak on actual hardware - a haskell program running on faulty hardware does not necessarily satisfy any proposition you can prove on pape

All these abstractions leak on actual hardware - a haskell program running on faulty hardware does not necessarily satisfy any proposition you can prove on paper. I think you're also confusing the mathematical concept of abstraction and the programming/CS concept of abstraction.