Static Type-Checking