Подпоследовательности с одинаковыми суммами

data NodeList = NodeList 
    { nlRoot  :: [Int]
    , nlLength :: Int
    , nlSum    :: Int }
    deriving (Show)
 
makeSums :: [Int] -> Int -> [NodeList] -> [NodeList]
makeSums [] _  acc         = acc    
makeSums (x:xs) maxlen acc = makeSums xs maxlen $ addNodeList $ (++) acc $ map addNode $ filter lessLen acc
    where addNodeList y = (NodeList [x] 1 x) : y
          addNode (NodeList root len sum) = NodeList (x:root) (len+1) (sum+x) 
          lessLen y = nlLength y < maxlen
 
makePairs :: [NodeList] -> [([Int], [Int])] -> [([Int], [Int])]
makePairs [] acc     = acc
makePairs (x:xs) acc = makePairs xs $ (++) acc $ map pairNodes $ filter sameSum xs 
    where sameSum y = nlSum x == (nlSum y)
          pairNodes y = (nlRoot x, nlRoot y)
 
solve :: [Int] -> Int -> [([Int], [Int])]
solve nums maxlen = makePairs (makeSums nums maxlen []) []
    
main = do 
  print $ solve [1,2,3,4] 3

-- Преобразовать число в битовую последовательность 
-- (знаю, можно подключить Data.Bits...)
 
int2bit :: Int -> String
int2bit n | (n <= 1) = [chr $ n+48]
          | otherwise = (chr $ 48+(n `mod` 2)) : int2bit (n `div` 2)  
 
-- Проверить что в битовом представлении числа p содержится
-- не более m единиц
 
chkN :: Int -> Int -> Bool
chkN m p = (length $ filter (/= '0') (int2bit p)) <= m
 
-- По заданному списку и числу m вычислить сумму элементов списка,
-- соответствующих битовому представлению m
 
sumB :: [Int] -> Int -> Int
sumB l m = f l (int2bit m)
         where f [] _ = 0
               f _ [] = 0
               f (x:xs) (y:ys) = (if (y=='1') then x else 0) + f xs ys
              
-- Построить базовое множество чисел (в битовом разложении которых
-- не более m единиц)
 
base :: [Int] -> Int -> [Int]
base x m = filter (chkN m) [1,2..2^n]
           where n = length x
           
-- Построить список пар (x,y) где x элемент базового множества,
-- а у - сумма соответствующих элементов списка
 
pairs :: [Int] -> Int -> [(Int,Int)]
pairs l m = map (\ x -> (x ,sumB l x)) $ base l m           
 
-- теперь достаточно найти пары, у которых совпадают вторые элементы