rationalized typing for arrow-to-element conversion