Add example of function for discussion with Rex Kerr

See https://groups.google.com/d/msg/scala-internals/91W0-PxMQ9Q/i4K3N0k0j_kJ.
Clean up examples in previous commit