let upup z =
    zipperExpression {
      let! z1 = up z
      let! z2 = up z1
      return z2
    }

  let downup z =
    zipperExpression {
      let! z1 = down z
      let! z2 = up z1
      return z2
    }