I think a major benefit is you can use auto parameter types and have the compiler propagate constraints about what methods and fields are required at compile time.