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

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

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

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

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

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

>и т.д.

ммм?