Is and As: Working with Types