Check arguments but ignore member access
Add function application type check