function type mismatch error when non-polymorphic function is given to parameter which is typed as polymorphic function

### how to reproduce the error

```
apply = f:(a -> b). x: a. f x.
inc = x:I32. x + 1#I32.
main = apply inc 2#I32.
```

this may fail to run, and wasm runtime will emit following error message

`RuntimeError: null function or function signature mismatch`