<@U0BDMQTHS>: I think my proposal for "type extens...

# announcements

[cedric]

@mikehearn: I think my proposal for "type extensions" in Kotlin is a kotlin-ey way of adding type classes to Kotlin since it's a simple generalization of extension methods to extension classes (but of course, the devil is in the details)