The types’ utility from an intp’s perspective