Унификация и поиск с возвратом на C#

Это как раз не всегда понятно.
И да, это просто эксперимент, развлечение на досуге.

Унификация и поиск с возвратом на C#

К сожалению, F# не знаю. Но, если приведете решение этой задачи на F#, будет любопытно посмотреть. Вообще, интересно смотреть решение одной и той же задачи на разных языках или даже одном языке, но разные подходы.