-- Ex1.d
allDifferent,allDifferent',allDifferent'',allDifferent''' :: Eq a => [a] -> Bool

allDifferent [] = True
allDifferent,allDifferent',allDifferent'',allDifferent''' :: Eq a => [a] -> Bool
allDifferent [] = True
allDifferent [] = True