There are errors, and they have to do with types