anyprime xs = any prime xs
allprime xs = all prime xs