当为Functor定义实例时，编译器会检查目标类型的Kind是否为* -> *；如果传入Kind为*的类型（如Int），编译器会报错。