abstract type Multilevel ... end