Let's type-safely fly to Syracuse!