import Level1.*

import Level2.*

interface PathSegment<Child>
sealed interface Path<Last : PathSegment<*>> {
    val segments: List<PathSegment<*>>
}
data class Nested<Last : PathSegment<*>>(val parent: Path<*>, val child: Last) : Path<Last> {
    override val segments: List<PathSegment<*>>
        get() = parent.segments + child
}
object Root : Path<Root>, PathSegment<Level1> {
    override val segments: List<Nothing>
        get() = emptyList()
}
enum class Level1 : PathSegment<Level2> {
    HighDomainTerm, // ...
}
enum class Level2 : PathSegment<Level3> {
    MediumDomainTerm, // ...
}
sealed class Level3 : PathSegment<Level4> {
    data class LowDomainTerm(val string: String) : Level3()
    // ...
}
enum class Level4 : PathSegment<Nothing> {
    OptionallyAFeature, // ...
}
operator fun <Last : PathSegment<Child>, Child : PathSegment<*>> Path<Last>.div(child: Child): Path<Child> = Nested(this, child)

(Root / HighDomainTerm / MediumDomainTerm / LowDomainTerm("runtime value!") / OptionallyAFeature).segments ==
    listOf(Level1.HighDomainTerm, Level2.MediumDomainTerm, Level3.LowDomainTerm("runtime value!"), Level4.OptionallyAFeature)