sml - 'a と string を統合できないのはなぜですか?

Question

非柔軟なベクトルの関数に似た、いくつかの柔軟なベクトル関数を構築しようとしています。理解できないエラー メッセージが表示されます。

> val jimmy = update(john,0,"mccoy");
Error-Type error in function application.
   Function: update : 'a flexVector * int * 'a -> 'a flexVector
   Argument: (john, 0, "mccoy") : string flexVector * int * string
   Reason:
      Can't unify 'a flexVector with string flexVector
      (Different type constructors)
Found near update (john, 0, "mccoy")
Static Errors

これはどのように可能ですか？私が理解していることについては、「データ型は非固有であるため、文字列になる可能性があります...?