@odomontois типа у тебя есть A,B,C и допустим они вызываются A->B->C, в С допустим тебе нужен только Raise чтобы поднять ошибку, в B только Handle, но окажется что Raise тоже нужен, а в A нужны будут оба
Да, если у тебя есть капабилити/эффекты то вызывающий код должен предоставить объединение капабилити/сгенерировать объединение эффектов композируемых кускоы