The type 'T' must be convertible in order to use it as parameter 'T' in the generic type or method

The T of FSMState must also be constrained, otherwise it cannot be used as the T of FSMSystem - which has constraints placed on it (T : FSMSystem<T>).

If you would have provided the line number of the compiler error, I suspect it would point to the methods OnEnter, etc.