Jon Pretty

@oferron It's rare that a different order of implicit parameters will make a difference, but it does sometimes...

@propensive I know implicit are evaluated in blocks, but the order shouldn't matter. Or at least be consistent.

@propensive think about def foo[A, B](l:List[A], f:A=>B) Using this order, A can be inferred, but it won't be. Unless it's higher kinded

@propensive where the order does matter cause it must resolve the constraint. I assume that's what happens in your example (I'm on the phone

@oferron Oh, it's inconsistent... but really useful!

@oferron It means we can choose whether a parameter plays a part in an inferred constraint (i.e. by LUBbing) or not.

@propensive but it plays hell with trying to get people to adopt.

@oferron I disagree. Without it, you would have more problems at the use-sites.