$type$M