less monady powerset func
new pascal