Tbvh the biggest downside of a Turing complete type system is that you can theoretically implement an application that compiles to dust.