NonEmpty

Library providing a non-empty list datatype, and total functions operating on it.

When you want to state that a list should always be non-empty, you can use this type. This enables you to avoid the error of taking the head or tail of an empty list.