firefly-compiler 0.4.19 → 0.4.21

package/output/js/ff/core/RbMap.mjs

@@ -115,178 +115,111 @@ return {T: true, color_, left_, key_, value_, right_};
 
 export function insert_(x_, xv_, s_, ff_core_Ordering_Order$K) {
 function ins_(s_) {
-{
 const s_a = s_;
-{
 if(s_a.E) {
 return ff_core_RbMap.T(ff_core_RbMap.R(), ff_core_RbMap.E(), x_, xv_, ff_core_RbMap.E())
-return
 }
-}
-{
-if(s_a.T) {
-if(s_a.color_.B) {
+if(s_a.T && s_a.color_.B) {
 const a_ = s_a.left_;
 const y_ = s_a.key_;
 const yv_ = s_a.value_;
 const b_ = s_a.right_;
 {
 const _1 = ff_core_Ordering_Order$K.compare_(x_, y_);
-{
 if(_1.OrderingBefore) {
 return ff_core_RbMap.balance_(ins_(a_), y_, yv_, b_, ff_core_Ordering_Order$K)
-return
 }
-}
-{
 if(_1.OrderingAfter) {
 return ff_core_RbMap.balance_(a_, y_, yv_, ins_(b_), ff_core_Ordering_Order$K)
-return
-}
 }
-{
 if(_1.OrderingSame) {
 return ff_core_RbMap.T(ff_core_RbMap.B(), a_, x_, xv_, b_)
-return
-}
 }
 }
 return
 }
-}
-}
-{
-if(s_a.T) {
-if(s_a.color_.R) {
+if(s_a.T && s_a.color_.R) {
 const a_ = s_a.left_;
 const y_ = s_a.key_;
 const yv_ = s_a.value_;
 const b_ = s_a.right_;
 {
 const _1 = ff_core_Ordering_Order$K.compare_(x_, y_);
-{
 if(_1.OrderingBefore) {
 return ff_core_RbMap.T(ff_core_RbMap.R(), ins_(a_), y_, yv_, b_)
-return
 }
-}
-{
 if(_1.OrderingAfter) {
 return ff_core_RbMap.T(ff_core_RbMap.R(), a_, y_, yv_, ins_(b_))
-return
-}
 }
-{
 if(_1.OrderingSame) {
 return ff_core_RbMap.T(ff_core_RbMap.R(), a_, x_, xv_, b_)
-return
-}
 }
 }
 return
 }
 }
-}
-}
-}
 {
 const _1 = ins_(s_);
-{
 if(_1.E) {
 return ff_core_Core.panic_("Unexpected empty tree")
-return
 }
-}
-{
 if(_1.T) {
 const a_ = _1.left_;
 const z_ = _1.key_;
 const zv_ = _1.value_;
 const b_ = _1.right_;
 return ff_core_RbMap.T(ff_core_RbMap.B(), a_, z_, zv_, b_)
-return
-}
 }
 }
 }
 
 export function member_(key_, tree_, ff_core_Ordering_Order$K) {
-{
 const key_a = key_;
 const tree_a = tree_;
-{
-const x_ = key_a;
 if(tree_a.E) {
+const x_ = key_a;
 return false
-return
-}
 }
-{
-const x_ = key_a;
 if(tree_a.T) {
+const x_ = key_a;
 const a_ = tree_a.left_;
 const y_ = tree_a.key_;
 const b_ = tree_a.right_;
 {
 const _1 = ff_core_Ordering_Order$K.compare_(x_, y_);
-{
 if(_1.OrderingBefore) {
 return ff_core_RbMap.member_(x_, a_, ff_core_Ordering_Order$K)
-return
-}
 }
-{
 if(_1.OrderingAfter) {
 return ff_core_RbMap.member_(x_, b_, ff_core_Ordering_Order$K)
-return
 }
-}
-{
 if(_1.OrderingSame) {
 return true
-return
-}
 }
 }
 return
 }
 }
-}
-}
 
 export function balance_(tree1_, key_, value_, tree2_, ff_core_Ordering_Order$K) {
-{
 const tree1_a = tree1_;
 const key_a = key_;
 const value_a = value_;
 const tree2_a = tree2_;
-{
-if(tree1_a.T) {
-if(tree1_a.color_.R) {
+if(tree1_a.T && tree1_a.color_.R && tree2_a.T && tree2_a.color_.R) {
 const a_ = tree1_a.left_;
 const x_ = tree1_a.key_;
 const xv_ = tree1_a.value_;
 const b_ = tree1_a.right_;
 const y_ = key_a;
 const yv_ = value_a;
-if(tree2_a.T) {
-if(tree2_a.color_.R) {
 const c_ = tree2_a.left_;
 const z_ = tree2_a.key_;
 const zv_ = tree2_a.value_;
 const d_ = tree2_a.right_;
 return ff_core_RbMap.T(ff_core_RbMap.R(), ff_core_RbMap.T(ff_core_RbMap.B(), a_, x_, xv_, b_), y_, yv_, ff_core_RbMap.T(ff_core_RbMap.B(), c_, z_, zv_, d_))
-return
-}
-}
-}
 }
-}
-{
-if(tree1_a.T) {
-if(tree1_a.color_.R) {
-if(tree1_a.left_.T) {
-if(tree1_a.left_.color_.R) {
+if(tree1_a.T && tree1_a.color_.R && tree1_a.left_.T && tree1_a.left_.color_.R) {
 const a_ = tree1_a.left_.left_;
 const x_ = tree1_a.left_.key_;
 const xv_ = tree1_a.left_.value_;
@@ -298,20 +231,11 @@ const z_ = key_a;
 const zv_ = value_a;
 const d_ = tree2_a;
 return ff_core_RbMap.T(ff_core_RbMap.R(), ff_core_RbMap.T(ff_core_RbMap.B(), a_, x_, xv_, b_), y_, yv_, ff_core_RbMap.T(ff_core_RbMap.B(), c_, z_, zv_, d_))
-return
-}
 }
-}
-}
-}
-{
-if(tree1_a.T) {
-if(tree1_a.color_.R) {
+if(tree1_a.T && tree1_a.color_.R && tree1_a.right_.T && tree1_a.right_.color_.R) {
 const a_ = tree1_a.left_;
 const x_ = tree1_a.key_;
 const xv_ = tree1_a.value_;
-if(tree1_a.right_.T) {
-if(tree1_a.right_.color_.R) {
 const b_ = tree1_a.right_.left_;
 const y_ = tree1_a.right_.key_;
 const yv_ = tree1_a.right_.value_;
@@ -320,42 +244,24 @@ const z_ = key_a;
 const zv_ = value_a;
 const d_ = tree2_a;
 return ff_core_RbMap.T(ff_core_RbMap.R(), ff_core_RbMap.T(ff_core_RbMap.B(), a_, x_, xv_, b_), y_, yv_, ff_core_RbMap.T(ff_core_RbMap.B(), c_, z_, zv_, d_))
-return
-}
-}
-}
-}
 }
-{
+if(tree2_a.T && tree2_a.color_.R && tree2_a.right_.T && tree2_a.right_.color_.R) {
 const a_ = tree1_a;
 const x_ = key_a;
 const xv_ = value_a;
-if(tree2_a.T) {
-if(tree2_a.color_.R) {
 const b_ = tree2_a.left_;
 const y_ = tree2_a.key_;
 const yv_ = tree2_a.value_;
-if(tree2_a.right_.T) {
-if(tree2_a.right_.color_.R) {
 const c_ = tree2_a.right_.left_;
 const z_ = tree2_a.right_.key_;
 const zv_ = tree2_a.right_.value_;
 const d_ = tree2_a.right_.right_;
 return ff_core_RbMap.T(ff_core_RbMap.R(), ff_core_RbMap.T(ff_core_RbMap.B(), a_, x_, xv_, b_), y_, yv_, ff_core_RbMap.T(ff_core_RbMap.B(), c_, z_, zv_, d_))
-return
-}
-}
 }
-}
-}
-{
+if(tree2_a.T && tree2_a.color_.R && tree2_a.left_.T && tree2_a.left_.color_.R) {
 const a_ = tree1_a;
 const x_ = key_a;
 const xv_ = value_a;
-if(tree2_a.T) {
-if(tree2_a.color_.R) {
-if(tree2_a.left_.T) {
-if(tree2_a.left_.color_.R) {
 const b_ = tree2_a.left_.left_;
 const y_ = tree2_a.left_.key_;
 const yv_ = tree2_a.left_.value_;
@@ -364,11 +270,6 @@ const z_ = tree2_a.key_;
 const zv_ = tree2_a.value_;
 const d_ = tree2_a.right_;
 return ff_core_RbMap.T(ff_core_RbMap.R(), ff_core_RbMap.T(ff_core_RbMap.B(), a_, x_, xv_, b_), y_, yv_, ff_core_RbMap.T(ff_core_RbMap.B(), c_, z_, zv_, d_))
-return
-}
-}
-}
-}
 }
 {
 const a_ = tree1_a;
@@ -376,22 +277,15 @@ const x_ = key_a;
 const xv_ = value_a;
 const b_ = tree2_a;
 return ff_core_RbMap.T(ff_core_RbMap.B(), a_, x_, xv_, b_)
-return
-}
 }
 }
 
 export function delete_(x_, t_, ff_core_Ordering_Order$K) {
 function del_(ss_) {
-{
 const ss_a = ss_;
-{
 if(ss_a.E) {
 return ff_core_RbMap.E()
-return
-}
 }
-{
 if(ss_a.T) {
 const a_ = ss_a.left_;
 const y_ = ss_a.key_;
@@ -399,46 +293,29 @@ const yv_ = ss_a.value_;
 const b_ = ss_a.right_;
 {
 const _1 = ff_core_Ordering_Order$K.compare_(x_, y_);
-{
 if(_1.OrderingBefore) {
 return delformLeft_(a_, y_, yv_, b_)
-return
-}
 }
-{
 if(_1.OrderingAfter) {
 return delformRight_(a_, y_, yv_, b_)
-return
 }
-}
-{
 if(_1.OrderingSame) {
 return ff_core_RbMap.app_(a_, b_, ff_core_Ordering_Order$K)
-return
-}
 }
 }
 return
 }
 }
-}
-}
 function delformLeft_(left_, key_, value_, right_) {
-{
 const left_a = left_;
 const key_a = key_;
 const value_a = value_;
 const right_a = right_;
-{
-if(left_a.T) {
-if(left_a.color_.B) {
+if(left_a.T && left_a.color_.B) {
 const y_ = key_a;
 const yv_ = value_a;
 const b_ = right_a;
 return ff_core_RbMap.balleft_(del_(left_), y_, yv_, b_, ff_core_Ordering_Order$K)
-return
-}
-}
 }
 {
 const a_ = left_a;
@@ -446,26 +323,18 @@ const y_ = key_a;
 const yv_ = value_a;
 const b_ = right_a;
 return ff_core_RbMap.T(ff_core_RbMap.R(), del_(a_), y_, yv_, b_)
-return
-}
 }
 }
 function delformRight_(left_, key_, value_, right_) {
-{
 const left_a = left_;
 const key_a = key_;
 const value_a = value_;
 const right_a = right_;
-{
+if(right_a.T && right_a.color_.B) {
 const a_ = left_a;
 const y_ = key_a;
 const yv_ = value_a;
-if(right_a.T) {
-if(right_a.color_.B) {
 return ff_core_RbMap.balright_(a_, y_, yv_, del_(right_), ff_core_Ordering_Order$K)
-return
-}
-}
 }
 {
 const a_ = left_a;
@@ -473,38 +342,29 @@ const y_ = key_a;
 const yv_ = value_a;
 const b_ = right_a;
 return ff_core_RbMap.T(ff_core_RbMap.R(), a_, y_, yv_, del_(b_))
-return
-}
 }
 }
 {
 const _1 = del_(t_);
-{
 if(_1.T) {
 const a_ = _1.left_;
 const y_ = _1.key_;
 const yv_ = _1.value_;
 const b_ = _1.right_;
 return ff_core_RbMap.T(ff_core_RbMap.B(), a_, y_, yv_, b_)
-return
-}
 }
 {
 return ff_core_RbMap.E()
-return
 }
 }
 }
 
 export function balleft_(tree1_, key_, value_, tree2_, ff_core_Ordering_Order$K) {
-{
 const tree1_a = tree1_;
 const key_a = key_;
 const value_a = value_;
 const tree2_a = tree2_;
-{
-if(tree1_a.T) {
-if(tree1_a.color_.R) {
+if(tree1_a.T && tree1_a.color_.R) {
 const a_ = tree1_a.left_;
 const x_ = tree1_a.key_;
 const xv_ = tree1_a.value_;
@@ -513,33 +373,21 @@ const y_ = key_a;
 const yv_ = value_a;
 const c_ = tree2_a;
 return ff_core_RbMap.T(ff_core_RbMap.R(), ff_core_RbMap.T(ff_core_RbMap.B(), a_, x_, xv_, b_), y_, yv_, c_)
-return
-}
 }
-}
-{
+if(tree2_a.T && tree2_a.color_.B) {
 const bl_ = tree1_a;
 const x_ = key_a;
 const xv_ = value_a;
-if(tree2_a.T) {
-if(tree2_a.color_.B) {
 const a_ = tree2_a.left_;
 const y_ = tree2_a.key_;
 const yv_ = tree2_a.value_;
 const b_ = tree2_a.right_;
 return ff_core_RbMap.balance_(bl_, x_, xv_, ff_core_RbMap.T(ff_core_RbMap.R(), a_, y_, yv_, b_), ff_core_Ordering_Order$K)
-return
-}
 }
-}
-{
+if(tree2_a.T && tree2_a.color_.R && tree2_a.left_.T && tree2_a.left_.color_.B) {
 const bl_ = tree1_a;
 const x_ = key_a;
 const xv_ = value_a;
-if(tree2_a.T) {
-if(tree2_a.color_.R) {
-if(tree2_a.left_.T) {
-if(tree2_a.left_.color_.B) {
 const a_ = tree2_a.left_.left_;
 const y_ = tree2_a.left_.key_;
 const yv_ = tree2_a.left_.value_;
@@ -548,43 +396,28 @@ const z_ = tree2_a.key_;
 const zv_ = tree2_a.value_;
 const c_ = tree2_a.right_;
 return ff_core_RbMap.T(ff_core_RbMap.R(), ff_core_RbMap.T(ff_core_RbMap.B(), bl_, x_, xv_, a_), y_, yv_, ff_core_RbMap.balance_(b_, z_, zv_, ff_core_RbMap.sub1_(c_, ff_core_Ordering_Order$K), ff_core_Ordering_Order$K))
-return
-}
-}
-}
-}
 }
 {
 return ff_core_Core.panic_("Unexhaustive match in balleft")
-return
-}
 }
 }
 
 export function balright_(tree1_, key_, value_, tree2_, ff_core_Ordering_Order$K) {
-{
 const tree1_a = tree1_;
 const key_a = key_;
 const value_a = value_;
 const tree2_a = tree2_;
-{
+if(tree2_a.T && tree2_a.color_.R) {
 const a_ = tree1_a;
 const x_ = key_a;
 const xv_ = value_a;
-if(tree2_a.T) {
-if(tree2_a.color_.R) {
 const b_ = tree2_a.left_;
 const y_ = tree2_a.key_;
 const yv_ = tree2_a.value_;
 const c_ = tree2_a.right_;
 return ff_core_RbMap.T(ff_core_RbMap.R(), a_, x_, xv_, ff_core_RbMap.T(ff_core_RbMap.B(), b_, y_, yv_, c_))
-return
-}
 }
-}
-{
-if(tree1_a.T) {
-if(tree1_a.color_.B) {
+if(tree1_a.T && tree1_a.color_.B) {
 const a_ = tree1_a.left_;
 const x_ = tree1_a.key_;
 const xv_ = tree1_a.value_;
@@ -593,18 +426,11 @@ const y_ = key_a;
 const yv_ = value_a;
 const bl_ = tree2_a;
 return ff_core_RbMap.balance_(ff_core_RbMap.T(ff_core_RbMap.R(), a_, x_, xv_, b_), y_, yv_, bl_, ff_core_Ordering_Order$K)
-return
-}
 }
-}
-{
-if(tree1_a.T) {
-if(tree1_a.color_.R) {
+if(tree1_a.T && tree1_a.color_.R && tree1_a.right_.T && tree1_a.right_.color_.B) {
 const a_ = tree1_a.left_;
 const x_ = tree1_a.key_;
 const xv_ = tree1_a.value_;
-if(tree1_a.right_.T) {
-if(tree1_a.right_.color_.B) {
 const b_ = tree1_a.right_.left_;
 const y_ = tree1_a.right_.key_;
 const yv_ = tree1_a.right_.value_;
@@ -613,340 +439,212 @@ const z_ = key_a;
 const zv_ = value_a;
 const bl_ = tree2_a;
 return ff_core_RbMap.T(ff_core_RbMap.R(), ff_core_RbMap.balance_(ff_core_RbMap.sub1_(a_, ff_core_Ordering_Order$K), x_, xv_, b_, ff_core_Ordering_Order$K), y_, yv_, ff_core_RbMap.T(ff_core_RbMap.B(), c_, z_, zv_, bl_))
-return
-}
-}
-}
-}
 }
 {
 return ff_core_Core.panic_("Unexhaustive match in balright")
-return
-}
 }
 }
 
 export function sub1_(tree_, ff_core_Ordering_Order$K) {
-{
 const tree_a = tree_;
-{
-if(tree_a.T) {
-if(tree_a.color_.B) {
+if(tree_a.T && tree_a.color_.B) {
 const a_ = tree_a.left_;
 const x_ = tree_a.key_;
 const xv_ = tree_a.value_;
 const b_ = tree_a.right_;
 return ff_core_RbMap.T(ff_core_RbMap.R(), a_, x_, xv_, b_)
-return
-}
-}
 }
 {
 return ff_core_Core.panic_("invariance violation")
-return
-}
 }
 }
 
 export function app_(tree1_, tree2_, ff_core_Ordering_Order$K) {
-{
 const tree1_a = tree1_;
 const tree2_a = tree2_;
-{
 if(tree1_a.E) {
 const b_ = tree2_a;
 return b_
-return
 }
-}
-{
-const a_ = tree1_a;
 if(tree2_a.E) {
+const a_ = tree1_a;
 return a_
-return
-}
 }
-{
-if(tree1_a.T) {
-if(tree1_a.color_.R) {
+if(tree1_a.T && tree1_a.color_.R && tree2_a.T && tree2_a.color_.R) {
 const a_ = tree1_a.left_;
 const x_ = tree1_a.key_;
 const xv_ = tree1_a.value_;
 const b_ = tree1_a.right_;
-if(tree2_a.T) {
-if(tree2_a.color_.R) {
 const c_ = tree2_a.left_;
 const y_ = tree2_a.key_;
 const yv_ = tree2_a.value_;
 const d_ = tree2_a.right_;
 {
 const _1 = ff_core_RbMap.app_(b_, c_, ff_core_Ordering_Order$K);
-{
-if(_1.T) {
-if(_1.color_.R) {
+if(_1.T && _1.color_.R) {
 const b2_ = _1.left_;
 const z_ = _1.key_;
 const zv_ = _1.value_;
 const c2_ = _1.right_;
 return ff_core_RbMap.T(ff_core_RbMap.R(), ff_core_RbMap.T(ff_core_RbMap.R(), a_, x_, xv_, b2_), z_, zv_, ff_core_RbMap.T(ff_core_RbMap.R(), c2_, y_, yv_, d_))
-return
-}
-}
 }
 {
 const bc_ = _1;
 return ff_core_RbMap.T(ff_core_RbMap.R(), a_, x_, xv_, ff_core_RbMap.T(ff_core_RbMap.R(), bc_, y_, yv_, d_))
-return
 }
 }
 return
 }
-}
-}
-}
-}
-{
-if(tree1_a.T) {
-if(tree1_a.color_.B) {
+if(tree1_a.T && tree1_a.color_.B && tree2_a.T && tree2_a.color_.B) {
 const a_ = tree1_a.left_;
 const x_ = tree1_a.key_;
 const xv_ = tree1_a.value_;
 const b_ = tree1_a.right_;
-if(tree2_a.T) {
-if(tree2_a.color_.B) {
 const c_ = tree2_a.left_;
 const y_ = tree2_a.key_;
 const yv_ = tree2_a.value_;
 const d_ = tree2_a.right_;
 {
 const _1 = ff_core_RbMap.app_(b_, c_, ff_core_Ordering_Order$K);
-{
-if(_1.T) {
-if(_1.color_.R) {
+if(_1.T && _1.color_.R) {
 const b2_ = _1.left_;
 const z_ = _1.key_;
 const zv_ = _1.value_;
 const c2_ = _1.right_;
 return ff_core_RbMap.T(ff_core_RbMap.R(), ff_core_RbMap.T(ff_core_RbMap.B(), a_, x_, xv_, b2_), z_, zv_, ff_core_RbMap.T(ff_core_RbMap.B(), c2_, y_, yv_, d_))
-return
-}
-}
 }
 {
 const bc_ = _1;
 return ff_core_RbMap.balleft_(a_, x_, xv_, ff_core_RbMap.T(ff_core_RbMap.B(), bc_, y_, yv_, d_), ff_core_Ordering_Order$K)
-return
 }
 }
 return
 }
-}
-}
-}
-}
-{
+if(tree2_a.T && tree2_a.color_.R) {
 const a_ = tree1_a;
-if(tree2_a.T) {
-if(tree2_a.color_.R) {
 const b_ = tree2_a.left_;
 const x_ = tree2_a.key_;
 const xv_ = tree2_a.value_;
 const c_ = tree2_a.right_;
 return ff_core_RbMap.T(ff_core_RbMap.R(), ff_core_RbMap.app_(a_, b_, ff_core_Ordering_Order$K), x_, xv_, c_)
-return
-}
 }
-}
-{
-if(tree1_a.T) {
-if(tree1_a.color_.R) {
+if(tree1_a.T && tree1_a.color_.R) {
 const a_ = tree1_a.left_;
 const x_ = tree1_a.key_;
 const xv_ = tree1_a.value_;
 const b_ = tree1_a.right_;
 const c_ = tree2_a;
 return ff_core_RbMap.T(ff_core_RbMap.R(), a_, x_, xv_, ff_core_RbMap.app_(b_, c_, ff_core_Ordering_Order$K))
-return
-}
-}
-}
 }
 }
 
 export async function insert_$(x_, xv_, s_, ff_core_Ordering_Order$K, $task) {
 function ins_(s_) {
-{
 const s_a = s_;
-{
 if(s_a.E) {
 return ff_core_RbMap.T(ff_core_RbMap.R(), ff_core_RbMap.E(), x_, xv_, ff_core_RbMap.E())
-return
-}
 }
-{
-if(s_a.T) {
-if(s_a.color_.B) {
+if(s_a.T && s_a.color_.B) {
 const a_ = s_a.left_;
 const y_ = s_a.key_;
 const yv_ = s_a.value_;
 const b_ = s_a.right_;
 {
 const _1 = ff_core_Ordering_Order$K.compare_(x_, y_);
-{
 if(_1.OrderingBefore) {
 return ff_core_RbMap.balance_(ins_(a_), y_, yv_, b_, ff_core_Ordering_Order$K)
-return
-}
 }
-{
 if(_1.OrderingAfter) {
 return ff_core_RbMap.balance_(a_, y_, yv_, ins_(b_), ff_core_Ordering_Order$K)
-return
 }
-}
-{
 if(_1.OrderingSame) {
 return ff_core_RbMap.T(ff_core_RbMap.B(), a_, x_, xv_, b_)
-return
-}
 }
 }
 return
 }
-}
-}
-{
-if(s_a.T) {
-if(s_a.color_.R) {
+if(s_a.T && s_a.color_.R) {
 const a_ = s_a.left_;
 const y_ = s_a.key_;
 const yv_ = s_a.value_;
 const b_ = s_a.right_;
 {
 const _1 = ff_core_Ordering_Order$K.compare_(x_, y_);
-{
 if(_1.OrderingBefore) {
 return ff_core_RbMap.T(ff_core_RbMap.R(), ins_(a_), y_, yv_, b_)
-return
-}
 }
-{
 if(_1.OrderingAfter) {
 return ff_core_RbMap.T(ff_core_RbMap.R(), a_, y_, yv_, ins_(b_))
-return
 }
-}
-{
 if(_1.OrderingSame) {
 return ff_core_RbMap.T(ff_core_RbMap.R(), a_, x_, xv_, b_)
-return
-}
 }
 }
 return
 }
 }
-}
-}
-}
 {
 const _1 = ins_(s_);
-{
 if(_1.E) {
 return ff_core_Core.panic_("Unexpected empty tree")
-return
-}
 }
-{
 if(_1.T) {
 const a_ = _1.left_;
 const z_ = _1.key_;
 const zv_ = _1.value_;
 const b_ = _1.right_;
 return ff_core_RbMap.T(ff_core_RbMap.B(), a_, z_, zv_, b_)
-return
-}
 }
 }
 }
 
 export async function member_$(key_, tree_, ff_core_Ordering_Order$K, $task) {
-{
 const key_a = key_;
 const tree_a = tree_;
-{
-const x_ = key_a;
 if(tree_a.E) {
+const x_ = key_a;
 return false
-return
 }
-}
-{
-const x_ = key_a;
 if(tree_a.T) {
+const x_ = key_a;
 const a_ = tree_a.left_;
 const y_ = tree_a.key_;
 const b_ = tree_a.right_;
 {
 const _1 = ff_core_Ordering_Order$K.compare_(x_, y_);
-{
 if(_1.OrderingBefore) {
 return ff_core_RbMap.member_(x_, a_, ff_core_Ordering_Order$K)
-return
 }
-}
-{
 if(_1.OrderingAfter) {
 return ff_core_RbMap.member_(x_, b_, ff_core_Ordering_Order$K)
-return
-}
 }
-{
 if(_1.OrderingSame) {
 return true
-return
-}
 }
 }
 return
 }
 }
-}
-}
 
 export async function balance_$(tree1_, key_, value_, tree2_, ff_core_Ordering_Order$K, $task) {
-{
 const tree1_a = tree1_;
 const key_a = key_;
 const value_a = value_;
 const tree2_a = tree2_;
-{
-if(tree1_a.T) {
-if(tree1_a.color_.R) {
+if(tree1_a.T && tree1_a.color_.R && tree2_a.T && tree2_a.color_.R) {
 const a_ = tree1_a.left_;
 const x_ = tree1_a.key_;
 const xv_ = tree1_a.value_;
 const b_ = tree1_a.right_;
 const y_ = key_a;
 const yv_ = value_a;
-if(tree2_a.T) {
-if(tree2_a.color_.R) {
 const c_ = tree2_a.left_;
 const z_ = tree2_a.key_;
 const zv_ = tree2_a.value_;
 const d_ = tree2_a.right_;
 return ff_core_RbMap.T(ff_core_RbMap.R(), ff_core_RbMap.T(ff_core_RbMap.B(), a_, x_, xv_, b_), y_, yv_, ff_core_RbMap.T(ff_core_RbMap.B(), c_, z_, zv_, d_))
-return
-}
-}
 }
-}
-}
-{
-if(tree1_a.T) {
-if(tree1_a.color_.R) {
-if(tree1_a.left_.T) {
-if(tree1_a.left_.color_.R) {
+if(tree1_a.T && tree1_a.color_.R && tree1_a.left_.T && tree1_a.left_.color_.R) {
 const a_ = tree1_a.left_.left_;
 const x_ = tree1_a.left_.key_;
 const xv_ = tree1_a.left_.value_;
@@ -958,20 +656,11 @@ const z_ = key_a;
 const zv_ = value_a;
 const d_ = tree2_a;
 return ff_core_RbMap.T(ff_core_RbMap.R(), ff_core_RbMap.T(ff_core_RbMap.B(), a_, x_, xv_, b_), y_, yv_, ff_core_RbMap.T(ff_core_RbMap.B(), c_, z_, zv_, d_))
-return
 }
-}
-}
-}
-}
-{
-if(tree1_a.T) {
-if(tree1_a.color_.R) {
+if(tree1_a.T && tree1_a.color_.R && tree1_a.right_.T && tree1_a.right_.color_.R) {
 const a_ = tree1_a.left_;
 const x_ = tree1_a.key_;
 const xv_ = tree1_a.value_;
-if(tree1_a.right_.T) {
-if(tree1_a.right_.color_.R) {
 const b_ = tree1_a.right_.left_;
 const y_ = tree1_a.right_.key_;
 const yv_ = tree1_a.right_.value_;
@@ -980,42 +669,24 @@ const z_ = key_a;
 const zv_ = value_a;
 const d_ = tree2_a;
 return ff_core_RbMap.T(ff_core_RbMap.R(), ff_core_RbMap.T(ff_core_RbMap.B(), a_, x_, xv_, b_), y_, yv_, ff_core_RbMap.T(ff_core_RbMap.B(), c_, z_, zv_, d_))
-return
-}
-}
 }
-}
-}
-{
+if(tree2_a.T && tree2_a.color_.R && tree2_a.right_.T && tree2_a.right_.color_.R) {
 const a_ = tree1_a;
 const x_ = key_a;
 const xv_ = value_a;
-if(tree2_a.T) {
-if(tree2_a.color_.R) {
 const b_ = tree2_a.left_;
 const y_ = tree2_a.key_;
 const yv_ = tree2_a.value_;
-if(tree2_a.right_.T) {
-if(tree2_a.right_.color_.R) {
 const c_ = tree2_a.right_.left_;
 const z_ = tree2_a.right_.key_;
 const zv_ = tree2_a.right_.value_;
 const d_ = tree2_a.right_.right_;
 return ff_core_RbMap.T(ff_core_RbMap.R(), ff_core_RbMap.T(ff_core_RbMap.B(), a_, x_, xv_, b_), y_, yv_, ff_core_RbMap.T(ff_core_RbMap.B(), c_, z_, zv_, d_))
-return
-}
-}
-}
-}
 }
-{
+if(tree2_a.T && tree2_a.color_.R && tree2_a.left_.T && tree2_a.left_.color_.R) {
 const a_ = tree1_a;
 const x_ = key_a;
 const xv_ = value_a;
-if(tree2_a.T) {
-if(tree2_a.color_.R) {
-if(tree2_a.left_.T) {
-if(tree2_a.left_.color_.R) {
 const b_ = tree2_a.left_.left_;
 const y_ = tree2_a.left_.key_;
 const yv_ = tree2_a.left_.value_;
@@ -1024,11 +695,6 @@ const z_ = tree2_a.key_;
 const zv_ = tree2_a.value_;
 const d_ = tree2_a.right_;
 return ff_core_RbMap.T(ff_core_RbMap.R(), ff_core_RbMap.T(ff_core_RbMap.B(), a_, x_, xv_, b_), y_, yv_, ff_core_RbMap.T(ff_core_RbMap.B(), c_, z_, zv_, d_))
-return
-}
-}
-}
-}
 }
 {
 const a_ = tree1_a;
@@ -1036,22 +702,15 @@ const x_ = key_a;
 const xv_ = value_a;
 const b_ = tree2_a;
 return ff_core_RbMap.T(ff_core_RbMap.B(), a_, x_, xv_, b_)
-return
-}
 }
 }
 
 export async function delete_$(x_, t_, ff_core_Ordering_Order$K, $task) {
 function del_(ss_) {
-{
 const ss_a = ss_;
-{
 if(ss_a.E) {
 return ff_core_RbMap.E()
-return
-}
 }
-{
 if(ss_a.T) {
 const a_ = ss_a.left_;
 const y_ = ss_a.key_;
@@ -1059,46 +718,29 @@ const yv_ = ss_a.value_;
 const b_ = ss_a.right_;
 {
 const _1 = ff_core_Ordering_Order$K.compare_(x_, y_);
-{
 if(_1.OrderingBefore) {
 return delformLeft_(a_, y_, yv_, b_)
-return
-}
 }
-{
 if(_1.OrderingAfter) {
 return delformRight_(a_, y_, yv_, b_)
-return
 }
-}
-{
 if(_1.OrderingSame) {
 return ff_core_RbMap.app_(a_, b_, ff_core_Ordering_Order$K)
-return
-}
 }
 }
 return
 }
 }
-}
-}
 function delformLeft_(left_, key_, value_, right_) {
-{
 const left_a = left_;
 const key_a = key_;
 const value_a = value_;
 const right_a = right_;
-{
-if(left_a.T) {
-if(left_a.color_.B) {
+if(left_a.T && left_a.color_.B) {
 const y_ = key_a;
 const yv_ = value_a;
 const b_ = right_a;
 return ff_core_RbMap.balleft_(del_(left_), y_, yv_, b_, ff_core_Ordering_Order$K)
-return
-}
-}
 }
 {
 const a_ = left_a;
@@ -1106,26 +748,18 @@ const y_ = key_a;
 const yv_ = value_a;
 const b_ = right_a;
 return ff_core_RbMap.T(ff_core_RbMap.R(), del_(a_), y_, yv_, b_)
-return
-}
 }
 }
 function delformRight_(left_, key_, value_, right_) {
-{
 const left_a = left_;
 const key_a = key_;
 const value_a = value_;
 const right_a = right_;
-{
+if(right_a.T && right_a.color_.B) {
 const a_ = left_a;
 const y_ = key_a;
 const yv_ = value_a;
-if(right_a.T) {
-if(right_a.color_.B) {
 return ff_core_RbMap.balright_(a_, y_, yv_, del_(right_), ff_core_Ordering_Order$K)
-return
-}
-}
 }
 {
 const a_ = left_a;
@@ -1133,38 +767,29 @@ const y_ = key_a;
 const yv_ = value_a;
 const b_ = right_a;
 return ff_core_RbMap.T(ff_core_RbMap.R(), a_, y_, yv_, del_(b_))
-return
-}
 }
 }
 {
 const _1 = del_(t_);
-{
 if(_1.T) {
 const a_ = _1.left_;
 const y_ = _1.key_;
 const yv_ = _1.value_;
 const b_ = _1.right_;
 return ff_core_RbMap.T(ff_core_RbMap.B(), a_, y_, yv_, b_)
-return
-}
 }
 {
 return ff_core_RbMap.E()
-return
 }
 }
 }
 
 export async function balleft_$(tree1_, key_, value_, tree2_, ff_core_Ordering_Order$K, $task) {
-{
 const tree1_a = tree1_;
 const key_a = key_;
 const value_a = value_;
 const tree2_a = tree2_;
-{
-if(tree1_a.T) {
-if(tree1_a.color_.R) {
+if(tree1_a.T && tree1_a.color_.R) {
 const a_ = tree1_a.left_;
 const x_ = tree1_a.key_;
 const xv_ = tree1_a.value_;
@@ -1173,33 +798,21 @@ const y_ = key_a;
 const yv_ = value_a;
 const c_ = tree2_a;
 return ff_core_RbMap.T(ff_core_RbMap.R(), ff_core_RbMap.T(ff_core_RbMap.B(), a_, x_, xv_, b_), y_, yv_, c_)
-return
-}
 }
-}
-{
+if(tree2_a.T && tree2_a.color_.B) {
 const bl_ = tree1_a;
 const x_ = key_a;
 const xv_ = value_a;
-if(tree2_a.T) {
-if(tree2_a.color_.B) {
 const a_ = tree2_a.left_;
 const y_ = tree2_a.key_;
 const yv_ = tree2_a.value_;
 const b_ = tree2_a.right_;
 return ff_core_RbMap.balance_(bl_, x_, xv_, ff_core_RbMap.T(ff_core_RbMap.R(), a_, y_, yv_, b_), ff_core_Ordering_Order$K)
-return
-}
 }
-}
-{
+if(tree2_a.T && tree2_a.color_.R && tree2_a.left_.T && tree2_a.left_.color_.B) {
 const bl_ = tree1_a;
 const x_ = key_a;
 const xv_ = value_a;
-if(tree2_a.T) {
-if(tree2_a.color_.R) {
-if(tree2_a.left_.T) {
-if(tree2_a.left_.color_.B) {
 const a_ = tree2_a.left_.left_;
 const y_ = tree2_a.left_.key_;
 const yv_ = tree2_a.left_.value_;
@@ -1208,43 +821,28 @@ const z_ = tree2_a.key_;
 const zv_ = tree2_a.value_;
 const c_ = tree2_a.right_;
 return ff_core_RbMap.T(ff_core_RbMap.R(), ff_core_RbMap.T(ff_core_RbMap.B(), bl_, x_, xv_, a_), y_, yv_, ff_core_RbMap.balance_(b_, z_, zv_, ff_core_RbMap.sub1_(c_, ff_core_Ordering_Order$K), ff_core_Ordering_Order$K))
-return
-}
-}
-}
-}
 }
 {
 return ff_core_Core.panic_("Unexhaustive match in balleft")
-return
-}
 }
 }
 
 export async function balright_$(tree1_, key_, value_, tree2_, ff_core_Ordering_Order$K, $task) {
-{
 const tree1_a = tree1_;
 const key_a = key_;
 const value_a = value_;
 const tree2_a = tree2_;
-{
+if(tree2_a.T && tree2_a.color_.R) {
 const a_ = tree1_a;
 const x_ = key_a;
 const xv_ = value_a;
-if(tree2_a.T) {
-if(tree2_a.color_.R) {
 const b_ = tree2_a.left_;
 const y_ = tree2_a.key_;
 const yv_ = tree2_a.value_;
 const c_ = tree2_a.right_;
 return ff_core_RbMap.T(ff_core_RbMap.R(), a_, x_, xv_, ff_core_RbMap.T(ff_core_RbMap.B(), b_, y_, yv_, c_))
-return
-}
-}
 }
-{
-if(tree1_a.T) {
-if(tree1_a.color_.B) {
+if(tree1_a.T && tree1_a.color_.B) {
 const a_ = tree1_a.left_;
 const x_ = tree1_a.key_;
 const xv_ = tree1_a.value_;
@@ -1253,18 +851,11 @@ const y_ = key_a;
 const yv_ = value_a;
 const bl_ = tree2_a;
 return ff_core_RbMap.balance_(ff_core_RbMap.T(ff_core_RbMap.R(), a_, x_, xv_, b_), y_, yv_, bl_, ff_core_Ordering_Order$K)
-return
-}
-}
 }
-{
-if(tree1_a.T) {
-if(tree1_a.color_.R) {
+if(tree1_a.T && tree1_a.color_.R && tree1_a.right_.T && tree1_a.right_.color_.B) {
 const a_ = tree1_a.left_;
 const x_ = tree1_a.key_;
 const xv_ = tree1_a.value_;
-if(tree1_a.right_.T) {
-if(tree1_a.right_.color_.B) {
 const b_ = tree1_a.right_.left_;
 const y_ = tree1_a.right_.key_;
 const yv_ = tree1_a.right_.value_;
@@ -1273,176 +864,111 @@ const z_ = key_a;
 const zv_ = value_a;
 const bl_ = tree2_a;
 return ff_core_RbMap.T(ff_core_RbMap.R(), ff_core_RbMap.balance_(ff_core_RbMap.sub1_(a_, ff_core_Ordering_Order$K), x_, xv_, b_, ff_core_Ordering_Order$K), y_, yv_, ff_core_RbMap.T(ff_core_RbMap.B(), c_, z_, zv_, bl_))
-return
-}
-}
-}
-}
 }
 {
 return ff_core_Core.panic_("Unexhaustive match in balright")
-return
-}
 }
 }
 
 export async function sub1_$(tree_, ff_core_Ordering_Order$K, $task) {
-{
 const tree_a = tree_;
-{
-if(tree_a.T) {
-if(tree_a.color_.B) {
+if(tree_a.T && tree_a.color_.B) {
 const a_ = tree_a.left_;
 const x_ = tree_a.key_;
 const xv_ = tree_a.value_;
 const b_ = tree_a.right_;
 return ff_core_RbMap.T(ff_core_RbMap.R(), a_, x_, xv_, b_)
-return
-}
-}
 }
 {
 return ff_core_Core.panic_("invariance violation")
-return
-}
 }
 }
 
 export async function app_$(tree1_, tree2_, ff_core_Ordering_Order$K, $task) {
-{
 const tree1_a = tree1_;
 const tree2_a = tree2_;
-{
 if(tree1_a.E) {
 const b_ = tree2_a;
 return b_
-return
-}
 }
-{
-const a_ = tree1_a;
 if(tree2_a.E) {
+const a_ = tree1_a;
 return a_
-return
 }
-}
-{
-if(tree1_a.T) {
-if(tree1_a.color_.R) {
+if(tree1_a.T && tree1_a.color_.R && tree2_a.T && tree2_a.color_.R) {
 const a_ = tree1_a.left_;
 const x_ = tree1_a.key_;
 const xv_ = tree1_a.value_;
 const b_ = tree1_a.right_;
-if(tree2_a.T) {
-if(tree2_a.color_.R) {
 const c_ = tree2_a.left_;
 const y_ = tree2_a.key_;
 const yv_ = tree2_a.value_;
 const d_ = tree2_a.right_;
 {
 const _1 = ff_core_RbMap.app_(b_, c_, ff_core_Ordering_Order$K);
-{
-if(_1.T) {
-if(_1.color_.R) {
+if(_1.T && _1.color_.R) {
 const b2_ = _1.left_;
 const z_ = _1.key_;
 const zv_ = _1.value_;
 const c2_ = _1.right_;
 return ff_core_RbMap.T(ff_core_RbMap.R(), ff_core_RbMap.T(ff_core_RbMap.R(), a_, x_, xv_, b2_), z_, zv_, ff_core_RbMap.T(ff_core_RbMap.R(), c2_, y_, yv_, d_))
-return
-}
-}
 }
 {
 const bc_ = _1;
 return ff_core_RbMap.T(ff_core_RbMap.R(), a_, x_, xv_, ff_core_RbMap.T(ff_core_RbMap.R(), bc_, y_, yv_, d_))
-return
 }
 }
 return
 }
-}
-}
-}
-}
-{
-if(tree1_a.T) {
-if(tree1_a.color_.B) {
+if(tree1_a.T && tree1_a.color_.B && tree2_a.T && tree2_a.color_.B) {
 const a_ = tree1_a.left_;
 const x_ = tree1_a.key_;
 const xv_ = tree1_a.value_;
 const b_ = tree1_a.right_;
-if(tree2_a.T) {
-if(tree2_a.color_.B) {
 const c_ = tree2_a.left_;
 const y_ = tree2_a.key_;
 const yv_ = tree2_a.value_;
 const d_ = tree2_a.right_;
 {
 const _1 = ff_core_RbMap.app_(b_, c_, ff_core_Ordering_Order$K);
-{
-if(_1.T) {
-if(_1.color_.R) {
+if(_1.T && _1.color_.R) {
 const b2_ = _1.left_;
 const z_ = _1.key_;
 const zv_ = _1.value_;
 const c2_ = _1.right_;
 return ff_core_RbMap.T(ff_core_RbMap.R(), ff_core_RbMap.T(ff_core_RbMap.B(), a_, x_, xv_, b2_), z_, zv_, ff_core_RbMap.T(ff_core_RbMap.B(), c2_, y_, yv_, d_))
-return
-}
-}
 }
 {
 const bc_ = _1;
 return ff_core_RbMap.balleft_(a_, x_, xv_, ff_core_RbMap.T(ff_core_RbMap.B(), bc_, y_, yv_, d_), ff_core_Ordering_Order$K)
-return
 }
 }
 return
 }
-}
-}
-}
-}
-{
+if(tree2_a.T && tree2_a.color_.R) {
 const a_ = tree1_a;
-if(tree2_a.T) {
-if(tree2_a.color_.R) {
 const b_ = tree2_a.left_;
 const x_ = tree2_a.key_;
 const xv_ = tree2_a.value_;
 const c_ = tree2_a.right_;
 return ff_core_RbMap.T(ff_core_RbMap.R(), ff_core_RbMap.app_(a_, b_, ff_core_Ordering_Order$K), x_, xv_, c_)
-return
-}
 }
-}
-{
-if(tree1_a.T) {
-if(tree1_a.color_.R) {
+if(tree1_a.T && tree1_a.color_.R) {
 const a_ = tree1_a.left_;
 const x_ = tree1_a.key_;
 const xv_ = tree1_a.value_;
 const b_ = tree1_a.right_;
 const c_ = tree2_a;
 return ff_core_RbMap.T(ff_core_RbMap.R(), a_, x_, xv_, ff_core_RbMap.app_(b_, c_, ff_core_Ordering_Order$K))
-return
-}
-}
-}
 }
 }
 
 export function RB_get(self_, key_, ff_core_Ordering_Order$K) {
 {
 const _1 = self_;
-{
 if(_1.E) {
 return ff_core_Option.None()
-return
 }
-}
-{
 if(_1.T) {
 const a_ = _1.left_;
 const y_ = _1.key_;
@@ -1450,47 +976,31 @@ const yv_ = _1.value_;
 const b_ = _1.right_;
 {
 const _1 = ff_core_Ordering_Order$K.compare_(key_, y_);
-{
 if(_1.OrderingBefore) {
 return ff_core_RbMap.RB_get(a_, key_, ff_core_Ordering_Order$K)
-return
 }
-}
-{
 if(_1.OrderingAfter) {
 return ff_core_RbMap.RB_get(b_, key_, ff_core_Ordering_Order$K)
-return
-}
 }
-{
 if(_1.OrderingSame) {
 return ff_core_Option.Some(yv_)
-return
-}
 }
 }
 return
 }
 }
 }
-}
 
 export function RB_size(self_, ff_core_Ordering_Order$K) {
 {
 const _1 = self_;
-{
 if(_1.E) {
 return 0
-return
 }
-}
-{
 if(_1.T) {
 const l_ = _1.left_;
 const r_ = _1.right_;
 return ((ff_core_RbMap.RB_size(l_, ff_core_Ordering_Order$K) + 1) + ff_core_RbMap.RB_size(r_, ff_core_Ordering_Order$K))
-return
-}
 }
 }
 }
@@ -1509,18 +1019,13 @@ function next_() {
 _tailcall: for(;;) {
 {
 const _1 = array_;
-{
 if(_1.length === 0) {
 if((cycle_ && (((_1) => {
-{
 if(_1.E) {
 return false
-return
-}
 }
 {
 return true
-return
 }
 }))(self_))) {
 array_ = [self_];
@@ -1534,10 +1039,7 @@ return ff_core_Option.None()
 }
 return
 }
-}
-{
-if(_1.length > 0) {
-if(_1[0].E) {
+if(_1.length >= 1 && _1[0].E) {
 const tail_ = _1.slice(1);
 array_ = tail_;
 {
@@ -1547,27 +1049,14 @@ continue _tailcall
 }
 return
 }
-}
-}
-{
-if(_1.length > 0) {
-if(_1[0].T) {
-if(_1[0].left_.E) {
+if(_1.length >= 1 && _1[0].T && _1[0].left_.E && _1[0].right_.E) {
 const k_ = _1[0].key_;
 const v_ = _1[0].value_;
-if(_1[0].right_.E) {
 const tail_ = _1.slice(1);
 array_ = tail_;
 return ff_core_Option.Some(ff_core_Pair.Pair(k_, v_))
-return
-}
 }
-}
-}
-}
-{
-if(_1.length > 0) {
-if(_1[0].T) {
+if(_1.length >= 1 && _1[0].T) {
 const l_ = _1[0].left_;
 const k_ = _1[0].key_;
 const v_ = _1[0].value_;
@@ -1582,8 +1071,6 @@ continue _tailcall
 return
 }
 }
-}
-}
 return
 }
 }
@@ -1597,13 +1084,10 @@ return next_()
 export function RB_each(self_, body_, ff_core_Ordering_Order$K) {
 {
 const _1 = self_;
-{
 if(_1.E) {
 
 return
 }
-}
-{
 if(_1.T) {
 const l_ = _1.left_;
 const k_ = _1.key_;
@@ -1616,26 +1100,19 @@ return
 }
 }
 }
-}
 
 export function RB_eachWhile(self_, body_, ff_core_Ordering_Order$K) {
 {
 const _1 = self_;
-{
 if(_1.E) {
 return true
-return
 }
-}
-{
 if(_1.T) {
 const l_ = _1.left_;
 const k_ = _1.key_;
 const v_ = _1.value_;
 const r_ = _1.right_;
 return ((ff_core_RbMap.RB_eachWhile(l_, body_, ff_core_Ordering_Order$K) && body_(k_, v_)) && ff_core_RbMap.RB_eachWhile(r_, body_, ff_core_Ordering_Order$K))
-return
-}
 }
 }
 }
@@ -1652,13 +1129,9 @@ return result_
 export function RB_mapValues(self_, body_, ff_core_Ordering_Order$K) {
 {
 const _1 = self_;
-{
 if(_1.E) {
 return ff_core_RbMap.E()
-return
 }
-}
-{
 if(_1.T) {
 const c_ = _1.color_;
 const l_ = _1.left_;
@@ -1666,8 +1139,6 @@ const k_ = _1.key_;
 const v_ = _1.value_;
 const r_ = _1.right_;
 return ff_core_RbMap.T(c_, ff_core_RbMap.RB_mapValues(l_, body_, ff_core_Ordering_Order$K), k_, body_(k_, v_), ff_core_RbMap.RB_mapValues(r_, body_, ff_core_Ordering_Order$K))
-return
-}
 }
 }
 }
@@ -1688,13 +1159,9 @@ return result_
 export async function RB_get$(self_, key_, ff_core_Ordering_Order$K, $task) {
 {
 const _1 = self_;
-{
 if(_1.E) {
 return ff_core_Option.None()
-return
 }
-}
-{
 if(_1.T) {
 const a_ = _1.left_;
 const y_ = _1.key_;
@@ -1702,47 +1169,31 @@ const yv_ = _1.value_;
 const b_ = _1.right_;
 {
 const _1 = ff_core_Ordering_Order$K.compare_(key_, y_);
-{
 if(_1.OrderingBefore) {
 return ff_core_RbMap.RB_get(a_, key_, ff_core_Ordering_Order$K)
-return
 }
-}
-{
 if(_1.OrderingAfter) {
 return ff_core_RbMap.RB_get(b_, key_, ff_core_Ordering_Order$K)
-return
-}
 }
-{
 if(_1.OrderingSame) {
 return ff_core_Option.Some(yv_)
-return
-}
 }
 }
 return
 }
 }
 }
-}
 
 export async function RB_size$(self_, ff_core_Ordering_Order$K, $task) {
 {
 const _1 = self_;
-{
 if(_1.E) {
 return 0
-return
 }
-}
-{
 if(_1.T) {
 const l_ = _1.left_;
 const r_ = _1.right_;
 return ((ff_core_RbMap.RB_size(l_, ff_core_Ordering_Order$K) + 1) + ff_core_RbMap.RB_size(r_, ff_core_Ordering_Order$K))
-return
-}
 }
 }
 }
@@ -1761,18 +1212,13 @@ function next_() {
 _tailcall: for(;;) {
 {
 const _1 = array_;
-{
 if(_1.length === 0) {
 if((cycle_ && (((_1) => {
-{
 if(_1.E) {
 return false
-return
-}
 }
 {
 return true
-return
 }
 }))(self_))) {
 array_ = [self_];
@@ -1786,10 +1232,7 @@ return ff_core_Option.None()
 }
 return
 }
-}
-{
-if(_1.length > 0) {
-if(_1[0].E) {
+if(_1.length >= 1 && _1[0].E) {
 const tail_ = _1.slice(1);
 array_ = tail_;
 {
@@ -1799,27 +1242,14 @@ continue _tailcall
 }
 return
 }
-}
-}
-{
-if(_1.length > 0) {
-if(_1[0].T) {
-if(_1[0].left_.E) {
+if(_1.length >= 1 && _1[0].T && _1[0].left_.E && _1[0].right_.E) {
 const k_ = _1[0].key_;
 const v_ = _1[0].value_;
-if(_1[0].right_.E) {
 const tail_ = _1.slice(1);
 array_ = tail_;
 return ff_core_Option.Some(ff_core_Pair.Pair(k_, v_))
-return
-}
-}
-}
 }
-}
-{
-if(_1.length > 0) {
-if(_1[0].T) {
+if(_1.length >= 1 && _1[0].T) {
 const l_ = _1[0].left_;
 const k_ = _1[0].key_;
 const v_ = _1[0].value_;
@@ -1834,8 +1264,6 @@ continue _tailcall
 return
 }
 }
-}
-}
 return
 }
 }
@@ -1849,13 +1277,10 @@ return next_()
 export async function RB_each$(self_, body_, ff_core_Ordering_Order$K, $task) {
 {
 const _1 = self_;
-{
 if(_1.E) {
 
 return
 }
-}
-{
 if(_1.T) {
 const l_ = _1.left_;
 const k_ = _1.key_;
@@ -1868,26 +1293,19 @@ return
 }
 }
 }
-}
 
 export async function RB_eachWhile$(self_, body_, ff_core_Ordering_Order$K, $task) {
 {
 const _1 = self_;
-{
 if(_1.E) {
 return true
-return
 }
-}
-{
 if(_1.T) {
 const l_ = _1.left_;
 const k_ = _1.key_;
 const v_ = _1.value_;
 const r_ = _1.right_;
 return (((await ff_core_RbMap.RB_eachWhile$(l_, body_, ff_core_Ordering_Order$K, $task)) && (await body_(k_, v_, $task))) && (await ff_core_RbMap.RB_eachWhile$(r_, body_, ff_core_Ordering_Order$K, $task)))
-return
-}
 }
 }
 }
@@ -1904,13 +1322,9 @@ return result_
 export async function RB_mapValues$(self_, body_, ff_core_Ordering_Order$K, $task) {
 {
 const _1 = self_;
-{
 if(_1.E) {
 return ff_core_RbMap.E()
-return
 }
-}
-{
 if(_1.T) {
 const c_ = _1.color_;
 const l_ = _1.left_;
@@ -1918,8 +1332,6 @@ const k_ = _1.key_;
 const v_ = _1.value_;
 const r_ = _1.right_;
 return ff_core_RbMap.T(c_, (await ff_core_RbMap.RB_mapValues$(l_, body_, ff_core_Ordering_Order$K, $task)), k_, (await body_(k_, v_, $task)), (await ff_core_RbMap.RB_mapValues$(r_, body_, ff_core_Ordering_Order$K, $task)))
-return
-}
 }
 }
 }