This is the first method defined for whatis, so S just takes the ordinary function as defining the generic.

• 这是第一次为whatis定义方法，所以S将最初的函数作为泛型的定义。