ADTs don't give your type system Turing completeness. Also acting like Turing complete type systems are scary is more FUD than reality. If it becomes relevant

ADTs don't give your type system Turing completeness. Also acting like Turing complete type systems are scary is more FUD than reality. If it becomes relevant it's because you are choosing to do recursion in some sort of constraint solver the type system provides.