adapted to new stdlib List.NonEmpty