Это выражение должно иметь тип 'единица', но имеет, вводят 'ConsoleKeyInfo'

Решение:

Console.ReadKey() |> ignore

Объяснение: Console.ReadKey() возвраты объект типа 'ConsoleKeyInfo', но Вы используете его в качестве оператора, не присваивая возвращаемое значение ничему. Таким образом, F# предупреждает Вас, что Вы игнорируете значение. ignore берет любой тип и ничего не возвращает. Это могло быть определено как это:

let ignore _ = ()