I do like the thought experiment that I might not want Turing completeness from a language in a specific use case.