typed Enum implementation that uses Enum; either doesn't work or doesn't type check

Question

Trying to understand Python\'s Enum implementation a bit better, and come to grips with meta-programming, I thought it might be fun to see if I could hack up an