<@U58GRE73J> we have a PR from November with them ...
# arrow
p
@tapchicoma we have a PR from November with them (#437), but it wasn’t updated to Arrow. I may just take it over and merge it soon. Meanwhile: https://github.com/arrow-kt/arrow/blob/a6a34ae34eb392fdebdb01179c6650c54af55825/kategory-docs/docs/docs/datatypes/nonemptylist/README.md