CUPID—for joyful coding

What is type safety?