++
NonEmptyList
::
NonEmptyList
:::
NonEmptyList