лечить сотрясение мозга)) В чем задача функтора, преобразовать из А в В, обернув каждый попутно в свой тип?
К этому моменту уже понятно, как тэглесс файнал заменяет патерн матчинг
Задача функтора - да преобразовать каждый объект в новый объект и каждый морфизм между парой объектов преобразовать в морфизм между преобразованными объектами
Обсуждают сегодня