Improves into type checks