つまり、
評価順は基本的に外からだけど不定、IOの>>や>>=は評価順に関係なく左から右
ということ？

>>や>>=も単なる関数だと思うんだけど、評価と関係なく左からってなんで出来るの？
IOだけ評価とは別の機構で順番が決まるの？