(identity arg)
  arg: any type
  returns any type

Returns its argument.

This is occasionally useful as a first-class function.