We say that the type of append is parameterized by a for all values of a.
می‌توان گفت نوع append برای همه مقادیر a، با a دارای پارامتر می‌شوند.