<div dir="auto">+1 from me<div dir="auto"><br></div><div dir="auto">Seems like additional motivation for adding NonEmptyFoldable (or however people want to call it)</div><div dir="auto"><br></div><div dir="auto">=======</div><div dir="auto">Georgi</div></div>