Кстати, именно по этой линии аргументации он точно один раз переобулся, потому что я помню его спор в твиттере с мейнтейнером Эрроу о том, что монады плохи, потому что одним словом flatMap
называют много разных вещей
Пусть ещё скажет что полиморфизм плохой?