Ahh sorry, I misunderstood you.

That is most certainly not how it works. If a bank accidentally gives you a million dollars it’s best to inform them and give it back in whatever process they determine. They will not just write it off. They will figure it out eventually.

My company’s entire backend is in Haskell, and boy are all these devs super enthusiastic for the language. It is rare tho in my experience.