Isn’t the specific example just a little demo?
Because I have a recent example of a use-case for compile-time evaluation: OCaml 5.3.0 released (TL;DR: I have a list of words, I need to build a non-trivial data-structure from it, sorting them into buckets, counting the number of them in each bucket, etc.)