Current goal of genType with regard to type safety

I’m thinking about trying to fix this issue, but first I need to be sure I’m not missing something. For people who see this, which of these applies to your rescript 11 codebase? Or is the situation something else entirely?

Click to view the poll.