elem :: Int -> [Int] -> Bool
-- testing 4 combinations of argument values
-- pruning with 40/53 rules
-- 2 candidates of size 1
-- 0 candidates of size 2
-- 0 candidates of size 3
-- 0 candidates of size 4
-- 4 candidates of size 5
-- 0 candidates of size 6
-- 0 candidates of size 7
-- 16 candidates of size 8
-- tested 19 candidates
elem x [] = False
elem x (y:xs) = x == y || elem x xs
set :: [Int] -> Bool
-- testing 4 combinations of argument values
-- pruning with 41/52 rules
-- 2 candidates of size 1
-- 0 candidates of size 2
-- 0 candidates of size 3
-- 2 candidates of size 4
-- 0 candidates of size 5
-- 0 candidates of size 6
-- 4 candidates of size 7
-- 8 candidates of size 8
-- tested 10 candidates
set [] = True
set (x:xs) = not (elem x xs) && set xs