All you need is a way to branch and a way to loop, so anything with conditional types and recursive types will be Turing Complete