d - это СДР [(Int, Int)]
Затем выполнение сокращения по ключу дает то же самое, но с уменьшением
Выполнение правильного внешнего соединения затем дает вам СДР (Int, (Option [Int], Int)) - т. Е. Для каждого ключа значения L и R (с опцией L, необязательной, если ее нет)
Таким образом, сбор данных дает вам массив одинаковых вещей
Документация API нелегка для всех этих функций, есть много общих типов и много неявных типов. Я бы порекомендовал вам либо использовать IDE, которая будет подсказывать вам типы, либо использовать инструмент, который дает вам консоль, в которой вы можете попробовать фрагменты.