Type inference is getting better
Adding new test case