Additional instances for NonEmptyList

... and an example.