An unfinished rtype