F #версия деструктурирования списка Haskell

Как мне сделать этот haskell в F#:

f acc (x:y:z:xs) = f (acc-x+y*z) xs
f acc [] = acc

Алгоритм там произвольный, просто важным моментом является выбор первых 3 и хвоста списка, потому что мне нужно использовать их все и хвост.

Должен ли я обязательно писать его на F #, используя повторные вызовы заголовка, чтобы вытолкнуть x, y и z?

Изменить :Пожалуйста, прокомментируйте, как этот метод официально называется в haskell, и я добавлю его в заголовок вопроса для будущих поисков других людей, я не могу вспомнить его навскидку.