It is possible to assert statically that lists are non-empty using proper type design.
Category: Idioms