allow anon fun parameter type inference when value parameter is declared
with a callable type, as requested by @chochos