如何定义递归类型？

I want to have a list. An entry in the list would store a value as well as an iterator to another entry in the list. How do I define this type? It'd be something like this, but syntactically correct.I want to have a list. An entry in the list wou