Polymorphic Functions we can make polymorphic versions of list-processing function: Btw, Pierce follows