I recognize that truly functional languages are their own beasts, with tons of amazing features provided by a ton of academic backing.

I will absolutely concede that I can’t speak to them with a shred of competence. I don’t know about the trade-offs and relative value propositions for pretty much anything in that space, let alone specifically w/ explicit typing.