module Import>Cycle>Blue
import Import>Cycle>Red{Red}
import Import>Cycle>Color{Next}

Blue[].

Next[color: Blue[]]: Red[]