The Turkish lira is currently experiencing ~85% year-on-year inflation. Our domains' prices are denominated in US dollars, not Turkish lira. This problem looks to be caused by currency headwinds. At the time of initial registration, the amount of Turkish lira paid would have been worth a lot more than it is now.
Also, 13040 TRY is worth US$700 at the current exchange rate, not US$850. That's actually a slight discount on the correct exchange rate, as another available domain name in the same pricing tier (e.g. 6b.dev) is showing as costing US$720/yr. So by paying in Turkish lira it looks like they're currently getting a discount of around US$20/yr, presumably because the prices displayed in Turkish are lagging the real exchange rate.
Also, 13040 TRY is worth US$700 at the current exchange rate, not US$850. That's actually a slight discount on the correct exchange rate, as another available domain name in the same pricing tier (e.g. 6b.dev) is showing as costing US$720/yr. So by paying in Turkish lira it looks like they're currently getting a discount of around US$20/yr, presumably because the prices displayed in Turkish are lagging the real exchange rate.