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

Red[].

Next[color: Red[]]: Green[]