On Procs and Lambdas, and using a hash for user input