I also noted that typing the argument solved the problem. 

But why can't the typechecking complain if there is more than one 
typing possible? The current algorithm seems to take the first
solution found and keep that. 

Couldn't it instead say, "Ambiguous typing"?

/mattias