Improves into type check