Concurrent Clean : 文字列のみ効率のよい関数

[id:lethevert:20070819:p1]であげた配列操作の中で、文字列のみと書いているのは、文字列のみ標準関数が提供されているのであるが、この実装はABCマシンで文字列専用のプリミティブが用意されていて、特別に効率よく操作できるようになっている。
で、これを一般の配列でも同じ関数を提供したいのだが、そのためには[id:lethevert:20070820:p1]であげた型クラスの制限があるので、それを意識して定義しなおす必要がある。