мы же просто не сможем чего-то принципиально новое использовать для кодирования эффектов и все эти разнообразные стрелки бы будем строить из клейсли, или это в корне неверная мысль?
Ну это просто какой-то интерпретатор, как и с монадами и любыми другыми структурами данных, ты можешь много интерпретаторов для своего типа написать, если он в начальном представлении, как у нас А можешь сразу в конечном предсатви ть