That because they have already provided a default ...
# arrow
n
That because they have already provided a default implementation of neqv - https://github.com/arrow-kt/arrow/blob/master/modules/core/arrow-typeclasses/src/main/kotlin/arrow/typeclasses/Eq.kt this way when you implement the typeclass, you provide implementation of only the eqv() method.