Give back arg types and result type for externals