trait Aaa
trait Bbb

fun f(a: Aaa) = a is Bbb