For the purposes of the List example, these two formulations are not significantly different; but the second form allows expressing so-called nested data types, i.e., those where the recursive type differs parametrically from the original.
Για τους σκοπούς του παραδείγματος με το List, αυτές οι δύο μορφές δεν διαφέρουν σημαντικά, αλλά η δεύτερη μορφή επιτρέπει την έκφραση των επονομαζόμενων εμφωλευμένων τύπων δεδομένων, π.χ., αυτούς όπου ο αναδρομικός τύπος διαφέρει παραμετρικά από τον αρχικό.