>138
代数的ではないこと。
数やリストのような代数的対象は生成したときに振舞いが一意に
決定される(代数的対象に関する各演算の結果が満たす等式は帰納法で
証明される)。つまり始対象(自然数なら0、リストなら[])からの
一意な同型写像が存在する。IOではそのような始対象が存在しない。