В соответствии с приведенным здесь разделом об общих типах: http://msdn.microsoft.com/en-us/library/dd233230.aspx, тогда эти формы эквивалентны:
type 'a MyType = .... type MyType<'a> = ...
, но во 2-й форме можно указать список параметров типа, например:
type MyType<'a,'b> = ...
Это правильно?
Это верно. В первом стиле также можно указать несколько параметров:
('a,'b) MyType
но это для совместимости и не рекомендуется.