fix previous workaround by explicit resubmission of diverging expansions type error, something that was done anyway on failure to infer implicit arg. no more throwing diverging implicit in implicits.scala