Implicit Parameters For Method Dependent Types