Types within HPI