Setoid map: make some args implicit in ext