A modern programming language that makes developers happier.

kotlinlang

NEL doesn't have a FunctorFilter instance, you have to transform it to List first

<https://github.com/arrow-kt/arrow/blob/master/modules/core/arrow-core/src/main/kotlin/arrow/core/extensions/NonEmptyListFunctorFilter.kt>

I removed the file and moved the code to it’s extension file

same with the rest which was due when we ported them from MTL

&gt;Nel does have an FunctorFilter instance

It doesn't, it cannot pass the laws if you filter the last element

oh I thought you meant an FunctorFilter extension instance

I will write an proposal and we can discuss this over github, if that makes sense