I sometimes see headlines like this, saying that a given type system is Turing complete but I've never seen the end result of such a statement. Are there any e

I sometimes see headlines like this, saying that a given type system is Turing complete but I've never seen the end result of such a statement. Are there any examples of programs compiled and runnable strictly in the type system of another language?