Написание логических выражений с отрицанием, объединением и пересечением

Извините если вопрос слишком банальный, в haskell не сильно разбираюсь, есть следующее логическое выражение
not A \ ((B объедение С) \ (B пересечение С)) где \ - вычитание.
Есть файл hs с функцией, которая вычисляет результат из трех множеств значений например [1,2,3,5,8,9] [2,5,4,6,7] [1,6,4,8,78]= 2,3
С помощью подключения Data.Set я смог использовать функции union и intersect, а как в haskell записать отрицание A в данном выражении ?
Сама функция у меня выглядит следующим образом : getD a b c = (not a \\ union b c) \\ intersect b c , но терминал ругается на булевый тип. Универсальное множество - от 1 до 10
Компилятор GHC