actually I think what would help is if a function could also return additional new implicits ;)