何でFunc型の型推論は認められないんだろうね。

var f = x => x + 1; // Func<int, int>のつもり

Expressionの時だけ型を明示させればいいのに。

Expression<Func<int, int>> f = x => x + 1;