that proyects everything in `Semigroup lt String gt ` and ma kotlinlang #arrow-contributors

that proyects everything in `Semigroup<String&g...

raulraja

12/08/2019, 12:33 PM

that proyects everything in

Semigroup<String>

and makes it available globally for all values of

String

without the need to import since all type proofs are coherent when resolved as proposed in Keep-87