foo [] = True foo (x:xs) = x `mod` 5 == 0 && foo xs
bar n = [ (i,j) | i <- [0..n], j <- [0..i * i], (i + j) `mod` 2 == 1 ]