Comment by tasuki

Tbh gradual typing sounds like a nightmare. Probably impossible to implement correctly, whatever your definition of "correctly".