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

Green[].

Next[color: Green[]]: Blue[]