refinements in generic arguments