private function createStack(array $values) { $s = PersistentStack::createEmpty(); foreach ($values as $value) { $s = $s->push($value); } return $s; }