On Sun, May 29, 2016 at 3:26 PM, David Feuer <david.feuer at gmail.com> wrote: > No, it would not be feasible to have it return a Maybe; usability > would go down the drain. My preferred total alternative would be to > drop the bounds check in that spec, so This is also what I would expect, by analogy to splitAt (and take and drop).