\p -> square p <= n
It’s an unnamed (anonymous) function that accepts variable p, squares it and compares result with n.
all (\p -> not $ divideBy p n) testingSlice
checks that anonymous function returns true value for each element in testingSlice.
Read about lambdas.