Added Data.List.NonEmpty.length