Comment by Scarbutt

Isn't refactoring TS also unpredictable? since its type system its no sound.