TATARATARATARATARATARATARA CALLING ALL CONTRIBUTORS https://github.com/arrow-kt/arrow/issues/1329 Could we get this new typeclass added before Sunday? Could anyone work on it over the weekend? It doesn't need to include all combinators or instances. With the definition of the selector function, a couple of instances for Option, Identity, and Function0, and getting the laws in I'm happy. Maybe a short doc with a TODO. Overall it shouldn't take more than 2-3h if you've done it before This is a new typeclass introduced in a paper presented this week. It's making the rounds in academic twitter, so if we're the first ones to productize it we'll get some free promo 😉