в принципе первая норм: идея видна. Правда возник вопрос про остальные вещи по типу адт, матчинга и прочего: в конце статьи чувствуется, что они как-то помогают ссылочной прозрачности или основной идее, но как они связаны с ней намека не дано, возможно это уже другая статья. Однако, она бы помогла сложить картину мира и возможно эта картина бы складывалась как раз около главной идеи: ссылочной прозрачности... начал вторую, с функтором у меня были проблемы, с третьего раза зашло, я бы поправил, напишу потом как.
адт и паттерн матчинг просто удобные вещи, в расте вон они есть безо всякого фп