This makes casting unnecessary, preventing the kind of type error we just had from occurring in the future.