При добавлении списка к другому списку в F #происходит копирование базовых объектов или только указателей?

Я всегда думал, что добавление списка к другому означает копирование объектов из первого списка, а затем указание на добавленный список, как описано, например, здесь . Однако в этом сообщении в блоге и в его комментарии говорится, что копируются только указатели, а не базовые объекты. Так что же правильно?