safetail :: [a] -> [a]

-- (a) conditional expression
safetail xs = if null xs then [] else tail xs
safetail :: [a] -> [a]
safetail xs = if null xs then [] else tail xs
safetail xs = if null xs then [] else tail xs