foo x y = [(a,b) | a<-x | b<-y]

bar x y z w = [(a,b,c,d)  |  a<-x,  b<-y, a`mod`b == 0|c<-z|d<-w ]