Maybe just encouraging (or even requiring) types to be annotated when mutual recursion is at play will sidestep a lot of issues with checking those.
--- [Visit Topic](https://discuss.tvm.ai/t/wip-relay-mutual-recursion-development/7118/4) to respond. You are receiving this because you enabled mailing list mode. To unsubscribe from these emails, [click here](https://discuss.tvm.ai/email/unsubscribe/0f3ded9981f4ec3449e58b7760ba93d19d3647a5a1fe923e7c733b3b35eb76ee).
