Мне кажется, или он путает монаду с функтором?