Распространить алгоритм W на контейнеры

#f# #type-inference #hindley-milner #f# #вывод типа #хиндли-Милнер Вопрос: Я хотел бы расширить алгоритм W на вывод кортежей и списков в F #, априори, нужно добавить только два правила, что я…