Logesh Pillay wrote: > I want to check if all the numbers in a list A are elements of a bigger > unordered list B. bs `contains` as = all (`elem` bs) as > Is there some way to fold /A into elem /B? I don't quite understand what you want to do, can you elaborate? Regards, apfelmus