Proc type is not inferred when passing to library fun and the return type doesn't match

[waj]

The following code:

lib Foo
  fun bar(f : Int32 -> Int32)
end

Foo.bar ->(x) { 1.1 }

Gives the error: function argument 'x' must have a type

Instead I'd expect it to say: argument 'f' of 'Foo#bar' must be (Int32 -> Int32), not (Int32 -> Float64) or even better, something like return type must be Int32