так смысла же не было делать на хачкеле
Не было смысла никакого. Но теперь начинает работать sunk cost. Сижу на толчке, слева Курт, справа Аллен. Думаю, что у Курта начиная буквально с введения функтора материал подаётся не так гладко, как хотелось бы. У меня, во всяком случае, вопросы возникают. Вот на примере монады. По Курту есть две последовательные задачи — вынуть Maybe из мапы и потом ещё раз вынуть maybe Из мапы, и их надо состыковать. То есть имеем функции
первую (a->mb) и вторую (b->mc).