We care deeply about ⊥ because in our terminating programs there are often sub-expressions that do not terminate. Without ⊥, we cannot reason effectively about Haskell.

You can require that all of your functions are total and still end up caring about ⊥.