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