This test is a bit permissive. Since the current implementation evaluates heads lazily, but tails eagerly, it would deallocate each sequence one step earlier than what the test is expecting, but I wanted to leave that as an implementation detail.