<@U0HDE11NW>: some kinds of type inference can be ...

# announcements

[mikehearn]

@rokee: some kinds of type inference can be slow, but the kinds used in Kotlin are not that big a deal, I think