[lucian1900]

It is precisely when you want to change everything that types are useful, because the compiler will helpfully point you to all cases that you forgot to change.