http://d.hatena.ne.jp/nuc/20050831/p4 gen2 :: [Int] -> [a] -> [ [ [a] ] ] gen2 [ ] _ = gen2 (i:is) xs = [(a:r)| (a,b) [a] -> [([a],[a])] takeAll 0 xs = [([ ],xs)] takeAll _ [ ] = [ ] takeAll n (x:xs) = [*1| (a,b) filter (\[a,b,c] -> produc…