https://kotlinlang.org logo
#arrow-contributors
Title
# arrow-contributors
r

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