inverse type