Является ли это типом более высокого порядка в Scala?

Имея следующее определение

type MyMap = Map[String, List[Map[Int, String]]] 

Можно ли определить Map как тип более высокого порядка?