Raúl Raja Martínez

@jrgonzalezg thanks for keeping this up to date!

Relevant: https://github.com/MarioAriasC/funKTionale/issues/34#issuecomment-347842603

@johanhaleby you probably already know by now but just in case... funKTionale and Kategory merged into Arrow http://arrow-kt.io/ .Arrow has monad comprehensions for most of the datatypes already: http://arrow-kt.io/docs/patterns/monad_comprehensions/

@MarioArias I think what @Redrield is asking is for `monad comprehensions` for the different monadic types that there are in `funKTionale`, `Either`, `Option`, `Disjunction`, etc. Those can be easily supported...

Pete, there is way too many people using you library to not be available as a maven dependency. We @47deg are building also other Android libs where we plan on...

Hi @Sintrastes , I believe your proposed fix can be applied here https://github.com/arrow-kt/arrow-meta/blob/main/plugins/proofs/proofs-plugin/src/main/kotlin/arrow/meta/plugins/proofs/phases/quotes/GenerateGivenSupportingFunctions.kt#L76-L103 https://github.com/arrow-kt/arrow-meta/blob/main/plugins/proofs/proofs-plugin/src/main/kotlin/arrow/meta/plugins/proofs/phases/quotes/GenerateGivenSupportingFunctions.kt#L121

That second error `[ERROR : Semigroup]` indicates an error type and probably just means that Semigroup was not resolved so maybe also missing the import or fqname for it.

We need to address this as a compiler plugin because the alternative is to have n repeated arities for regular and suspend functions.

What would an Arrow plugin for IDEA provide in terms of features?

We need a table that looks like this for all plugins and involve several people to fill this in. | Plugin | Action | Icon | Description | Expanded Description...