F＃泛型构造函数

Question

为什么以下代码会给我“此代码不够通用”错误？

type Vector2D<'a when 'a : (static member (+) : 'a * 'a -> 'a)  > =
   struct 
      val X: 'a
      val Y: 'a
      new(x: 'a, y: 'a) = {
        X = x; 
        Y = y
        }
   end