Fix subtyping for TApps with F as operator