function memo<T>(cb: () => any) {
  /*
    The goal of this memo is to minimize recalculations, 
    yet still supply a syncronized value on demand.
    - The only way to minimize recalculation on demand in this scenario 
      is to track whether dependancies go dirty (recalc required).
    - Avoiding recalc on reactive updates means the
      subscriptions will be cleared and the effect disposed.
      This actually eliminates unnecesary side-effects entirely,
      but requires the effect be re-initialized each recalculation. 
  */
  let [last_val, set_last] = createSignal<T>();
  let is_dirty = true;

  let owner = getOwner();
  let effect = () => {
    runWithOwner(owner, () => {
      createComputed(() => {
        if (is_dirty) {
          console.log("recalc");
          // run, memo, and mark clean
          set_last(cb());
          is_dirty = false;
        } else {
          console.log("made dirty");
          // Dispose effect:
          // no need to listen to subsequent updates once known to be dirty
          is_dirty = true;
        }
      });
    });
  };
  effect();

  return () => {
    // if dirty, recalc on demand
    // init new comp. to listen for dirty toggle
    if (is_dirty) effect(); 
    return last_val();  // return clean memo
  };
}

function memo<T>(cb: () => any) {
  /*
    The goal of this memo is to minimize recalculations, 
    yet still supply a syncronized value on demand.
    - The only way to minimize recalculation on demand in this scenario 
      is to track whether dependancies go dirty (recalc required).
    - Avoiding recalc on reactive updates means the
      subscriptions will be cleared and the effect disposed.
      This actually eliminates unnecesary side-effects entirely,
      but requires the effect be re-initialized each recalculation. 
  */
  let [last_val, set_last] = createSignal<T>();
  let is_dirty = true;

  let owner = getOwner();
  let effect = () => {
    runWithOwner(owner, () => {
      createComputed(() => {
        if (is_dirty) {
          console.log("recalc");
          // run, memo, and mark clean
          set_last(cb());
          is_dirty = false;
        } else {
          console.log("made dirty");
          // Dispose effect:
          // no need to listen to subsequent updates once known to be dirty
          is_dirty = true;
        }
      });
    });
  };
  effect();

  return () => {
    // if dirty, recalc on demand
    // init new comp. to listen for dirty toggle
    if (is_dirty) effect(); 
    return last_val();  // return clean memo
  };
}