комбинаторика + haskell

Липский В. Комбинаторика для программистов (djvu, 1.2MB) http://www.newlibrary.ru/book/lipskii_v_/kombinatorika_dlja_programmistov.html

§1.5 стр.34 Генерирование подмножеств множества. Там, конечно, не haskell, но переделать несложно.

благодарю

>декартово произведение

f1 xs ys = [(x, y) | x <- xs, y <- ys]

>создание всех возможных множеств, состоящих из элементов данного

f2 [] = [[]]
f2 xs = [x : ps | x <- xs, ps <- f2 ( xs\\[x])]

>и т.д.

ммм?

книжка The Haskell Road to Logic, Math & Programming