Now it's type check