Вторая переменная должна быть добавлена ​​в определение типа задачи, чтобы выразить отдельные значения успеха и ошибки. Вот полное решение:

следующие виды: type _ task = | Success : 'a -> 'a task | Fail : 'a -> 'a task | Binding : (('a task -> unit) -> unit) -> 'a task | AndThen : ('a -> 'b task) * 'a task -> 'b task | OnError : ('a -> 'b task) * 'a task -> 'b task type _ stack = | ...