Stop Stealing Sheep and Find Out How Type Works