Passing an optional proc is not working

[mratsim]

> However, should the compiler not be able to infer the Foofunc signature 
> without the user specifying it?

Alas, I agree. It's very annoying to work with high-order functions due to the 
extra ceremony.