Type classes are simply intersections by proof ``` Proof Ext kotlinlang #arrow-contributors

Type classes are simply intersections by proof: ``...

raulraja

12/08/2019, 12:32 PM

Type classes are simply intersections by proof:

Copy code

@Proof(Extension)
fun String.monoid(): Semigroup<String>

😍 3