Slide "Type safety"