Why type casting is awful