Lazier versions of take/drop avoid computing overall size