                return { Tag: 1.000000, Value: (new Y(Ab, { Tag: 1.000000, Value: zb })) };
                        }
                        else {
                            return { Tag: 0.000000 };
                        };
                    }
                    else {
                        return { Tag: 0.000000 };
                    };
                });
                return S((function (sb) {
                    return rb(sb);
                }), { Tag: 0.000000 });
            }));
      