Программирование. Паскаль. Описание типа динамической структуры. Нужна помощь!

Здравствуйте! Пожалуйста помогите разобраться:
если нужно создать стек, то сначала нужно описать структуру узла. Допустим так:
type
pnode = ^node;
node = record
i : integer;
p : pnode;
end;

var top, p : pnode;

Вопрос: зачeм создавать тип pnode, если вместо везде можно просто писать " ^node "? То есть:

node = record
i : integer;
p : ^node;
end;

var top, p : ^node; или так нельзя? но так жэ проще понимать!
Заранее спасибо!