Add powerset.hs