可能注意到的第二件事是我引入了一个名为

• The second thing you may note is that I have introduced a new functor called