conditional convertibility from range types to containers