Comment by AgentME

That's about letting you do Expression<int>, not about removing type erasure or otherwise allowing overloads based on type parameters.