In my experience, people either truely care about the business domain, and are willing to be uncomfortable to delve into it, or not. Types and proofs seem to be orthogonal.

Some domains are worth it, some are not. Sometimes it fits well, sometimes it doesn't.

Just don't be the one sinking into the muck saying, "...but the math worked". The math will be far more reliable than your understanding of the domain.