Data.List.Extras.LazyLength