-- | @'drop' n xs@ drops the first @n@ elements off the front of
-- the sequence @xs@.
drop :: Int -> NonEmpty a -> [a]
drop n = List.drop n . toList
drop :: Int -> NonEmpty a -> [a]
drop n = List.drop n . toList
drop n = List.drop n . toList