One of the things you do when you program is type