Recursive opt Depth Issues

[bdemann]

Summary:
We’ve encountered recurring problems with the depth of recursive opt types. When the depth is too large, it results in type errors because the type becomes too deep to handle effectively.

---

Current Situation:

• The default depth for opt was initially set to 5 but has already been reduced to 4 to mitigate these issues.
• While this adjustment has helped, it’s not a comprehensive solution.

---

Challenges:

• Reducing the depth further (e.g., to 3) might not be a viable long-term solution as it could limit functionality.
• The issue occurs infrequently, so it’s not an urgent priority at the moment, but it still points to a need for a more robust approach.

---

Next Steps:

• Investigate alternative strategies to handle recursive opt types without reducing depth further.
• Prioritize research into solutions as the frequency or impact of these errors increases.