(a -> b) -> List a -> List bmap f Nil = Nilmap f (Cons x xs) = Cons (f x) (map f xs)参数多态在很多面向对象语言中也能获得到。例如，C++和D的模板，和在C#、Delphi和Java中所称谓的泛型:class List<T> {List<B> map(Func<A, B> f, List<A> xs) {（和后来的）正式的将这种多态概念发展为对lambda演算的扩展（叫做多态lambda演算或系统F）。任何参数