二重cond confとか禁止されてるけど、片方が見えないとややこしいことになりそう？それは今でもモジュールまたいで起こりうるのかな？