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