Passing an optional proc is not working

[TKD]

I just tried `testFoo` like so and it works:
    
    
    testFoo("Passing optional proc does not work", f = some[Foofunc](foo))
    
    
    Run

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