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

raulraja

12/08/2019, 12:32 PM
Type classes are simply intersections by proof:
Copy code
@Proof(Extension)
fun String.monoid(): Semigroup<String>
😍 3