Distinguish lists which might be non-empty

[Fuco1]

Some methods might always return a non-empty list, then taking something like car of it will never return nil.