So the return shold simplify to

```
return fvar<T>(..., ...);
```