В чем разница между родовым означающим ' и символом ^ В F #сигнатуры методов

Я понимаю, что галочка означает общий параметр, как в:

Seq.append : seq<'T> -> seq<'T> -> seq<'T>

но что означает знак вставки, как в:

Seq.average : seq<^T> -> ^T