powerset :: [a] -> [[a]]
powerset = filterM (const [True, False])
Oh man is that hard for me to grok, mostly because I haven't internalized the list monad.
(It helped me to write out the definition of
filterM, which has type
Monad m => (a -> m Bool) -> [a] -> m [a].)
But roughly, it's saying "for each assignment of true and false over the values of the list, grab the true values".
[via Adam Langley via a private mailing list]