Вы также можете использовать
let newSeq = Seq.append oldSeq (Seq.singleton newElem)
Это небольшая модификация первого ответа, но добавление последовательности вместо списка в последовательность.
с учетом следующего кода
let startSeq = seq {1..100}
let AppendTest = Seq.append startSeq [101] |> List.ofSeq
let AppendTest2 = Seq.append startSeq (Seq.singleton 101) |> List.ofSeq
let AppendTest3 = seq { yield! startSeq; yield 101 } |> List.ofSeq
зацикленных 10000 исполнений, время выполнения которых
Elapsed 00:00:00.0001399
Elapsed 00:00:00.0000942
Elapsed 00:00:00.0000821
Возьми от этого то, что будешь.