-- refactorer should give an error!

f x@(y:ys) = if x == [] then error "Error!"
                        else y
f x@(y:ys) = if x == [] then error "Error!"
                        else y
f x@(y:ys) = if x == [] then error "Error!"
                        else y