Pasted

import Data.List
 
{- Задача. Есть некоторое количество участников, которых нужно разбить
на две равные команды.-}
 
участников = ["Антон", "Маша", "Дима", "Юра", "Андрей", "Инна", "Олег", "Света"]
 
{- При этом некоторые пары участников хотят обязательно
быть в одной команде, а некоторые - обязательно в разных. -}
 
будутВместе = [("Антон", "Маша"), ("Олег", "Света")]
будутПорознь = [("Андрей", "Инна"), ("Олег", "Юра")]
 
{- Нужно найти все подходящие варианты разбиений. -}
 
main = показать $ подходящие `из` всехРазбиений участников
 
{- Немножко русских синонимов для стандартных функций. -}
 
размер = length
будетВ = (:)
infixr 5 `будетВ`
но = flip ($)
infixl 6 `но`
из = filter
в = elem
иначе = otherwise
пополам = (`quot` 2)
когдаИ True True = True
когдаИ False False = True
когдаИ _ _ = False
наоборот = not
одно `либо` другое = одно `когдаИ` другое `но` наоборот
все = all
черезЗапятую = intercalate ", "
показать =
    mapM_ $ \(первые, вторые) ->
        putStrLn $ черезЗапятую первые ++ " и их оппоненты " ++ черезЗапятую вторые
отобрать = filter
 
{- Ну и собственно простой переборный алгоритм. -}
 
ктоХочет вместе команде =
    все (\(первый, второй) ->
        (первый `в` команде) `когдаИ` (второй `в` команде)) вместе
 
ктоНеХочет вместе команде =
    все (\(первый, второй) ->
        (первый `в` команде) `либо` (второй `в` команде)) вместе
 
размерКоманды = размер участников `но` пополам
 
всехРазбиений = безДублей . разбиения [] [] where
    безДублей [] = []
    безДублей (вотЭта:пропустить:остальных) =
        вотЭта `будетВ` остальных `но` безДублей
    разбиения первой второй другие
        | размер первой == размерКоманды = [(первой, второй ++ другие)]
        | размер второй == размерКоманды = [(первой ++ другие, второй)]
        | иначе = let новый : остальные = другие in.
            разбиения (новый `будетВ` первой) второй остальные ++
            разбиения первой (новый `будетВ` второй) остальные
 
подходящие (вПервой, воВторой) =
    ктоХочет будутВместе вПервой &&
    ктоНеХочет будутПорознь вПервой