Starting to type check function call