array in type checking