RecursiveType

fun RecursiveType(rank: Int)