tail : List a -> Maybe (List a)
https://github.com/elm/core/blob/master/src/List.elm#L548
You're thinking of the partial functions from Haskell's Prelude.
https://github.com/elm/core/blob/master/src/List.elm#L548