Static variant types: infinite recursion?

[anandabits (Matthew Johnson)]

@DevAndArtist

IIRC @anandabits pitched something similar via an extension.

Yeah, here is the initial sketch writeup and current sketch after a bit of discussion happened.