Cats have InjectionK but their invert function returns Option[F[_]] which they are unwilling to change. It would nice to have InjectionK with invert defined as Try[F[_]] as we have for all our existing injections. While Option[F[_]] maybe more theoretically correct, I have found Try[F[_]] to be more useful as I usually want to do something with he exception when inversion fails!. We would also need FunctionK as well
Cats have InjectionK but their
invertfunction returnsOption[F[_]]which they are unwilling to change. It would nice to have InjectionK withinvertdefined asTry[F[_]]as we have for all our existing injections. WhileOption[F[_]]maybe more theoretically correct, I have foundTry[F[_]]to be more useful as I usually want to do something with he exception when inversion fails!. We would also needFunctionKas well