Function implicit type resolution