Treating “all the types we happened to see at runtime” as “all the types allowed” automatically is I think what they meant as “risky”. MonkeyType seems to reco

Treating “all the types we happened to see at runtime” as “all the types allowed” automatically is I think what they meant as “risky”. MonkeyType seems to record the answers and then let you decide (via apply) if you want to agree. I’m a little surprised more people didn’t use this approach, but it probably makes for fairly clumsy type sets that the human is better off saying “Eh, I’ll just document it correctly”.