Спасибо за ссылки.

Комментарии не надо переводить. И так ясно что там написано. Но непонятно как это понимать.
Например:
(* insert between p and h *)
Присвоение записи n полю next записи р. А как это р вставляется в  List?