cp :: [[a]] -> [[a]]
cp = foldr op [[]]
    where op e lst = [j:i | i <- e, j <- lst]