Haskell: неочевидные примеры функциональных зависимостей

Примеры функциональных зависимостей, которые я видел, сводятся к отображению container -> element, и arguments -> result (как в Mult Matrix Vector Vector). Они, кажется, лучше выражаются функциями типа. В теории баз данных более сложные отношения рассматривают, которые не имеют этой формы (как a -> b, b -> a).

Есть ли примеры использования FDs в Haskell, который не может быть приятно записан с помощью функций типа?