https://pursuit.purescript.org/packages/purescript-lists/5.4.1/docs/Data.List.NonEmpty `Data.List.NonEmpty.deleteAt` function doesn't exist, but * [`Data.List.deleteAt`](https://pursuit.purescript.org/packages/purescript-lists/5.4.1/docs/Data.List#v:deleteAt) * [`Data.Array.NonEmpty.deleteAt`](https://pursuit.purescript.org/packages/purescript-arrays/5.3.1/docs/Data.Array.NonEmpty#v:deleteAt) do exist. Seems like we should add `Data.List.NonEmpty.deleteAt` ?