(define powerset [ ] -> [[ ]] [X | Y] -> (let Powerset (powerset Y) (append (subsets X Powerset) Powerset)))