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/