$Type$P