Extra example with fixpoints having intermediate effects -- added examples to the ui