$type$P