> Where practical is in the sense of an engineer (or in their terms, a CS practitioner),

Configuration processing. E.g. I'd like my yamls to be decidable, though I'll settle for guaranteed to halt[1].

[1] https://dhall-lang.org/