``` interface Monoid lt A gt extension class OptionMonoid lt kotlinlang #arrow-contributors

``` interface Monoid<A> extension class Opt...

raulraja

05/21/2018, 12:16 PM

Copy code

interface Monoid<A>

extension class OptionMonoid<A>(with Monoid<A>) : Monoid<Option<A>>

fun doWithOptionMonoid(with Monoid<Option<A>>) = TODO()

The compiler would need to desugar this as:

Copy code

fun doWithOptionMonoid($ev: Monoid<Option<A>> = new OptionMonoid(AMonoid)) = with ($ev) { TODO() }