Finished raising to highest type of arguments for apply-generic