A modern programming language that makes developers happier.

kotlinlang

Hello team,
Is there any particular reason `lose` was not added to Decidable? <https://hackage.haskell.org/package/contravariant-1.4.1/docs/Data-Functor-Contravariant-Divisible.html#v:lose>

<https://github.com/arrow-kt/arrow/blob/master/modules/core/arrow-core-data/src/main/kotlin/arrow/typeclasses/Decidable.kt>

Hmm now that I think about it again, i can't remember what the reason for skipping it was. I have also never had the need for it. If I understood it correctly it provides some sort of identity for choose right? Either way feel free to add it if you want :)

Yeah, then I could add some laws to Decidable 