Do you really want a turing complete type system? Being turing complete does not necessarily mean more powerful for real world applications.