def append(self, other: 'LazyList[A]') -> 'LazyList[A]': return self.copy(lambda s: concatv(s, self.strict, other.source, other.strict), lambda s: List())