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 11 candidates
elem x []  =  False
elem x (y:xs)  =  x == y || elem x xs

set :: [Int] -> Bool
-- testing 4 combinations of argument values
-- pruning with 39/49 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

