<@U2E974ELT> that looks great. How would generic t...

# functional

[raulraja]

@elizarov that looks great. How would generic type args fit in that encoding like in the case of places like Option<Int>: Semigroup where you need the `Int: Semigroup`:

extension Option<A: Semigroup> : Semigroup {
    fun combine(b: Option<A>): Option<A> = ... b.combine ... 
}

?