What?? I've gotten paid big money to write Haskell for like a decade. None of the work had anything to do with formal models. That's comically wrong. But it was good software and Haskell was a big part of that.