demonstrate how to define generic function(polymorphic function), also show one benefit of currying function:  type inference for second argument list.