Приведение аргумента для вызова функции с более чем одной общей границей (приведение с дополнительными границами)

Question

// a function that accepts an argument that should be both Param & Writable
fun <T : Param> write(value: T)
            where T : Writable = Unit

val v: Any = ... // some object

if(v is Param && v is Writable){
    write(v) <-- doesn't compile
}

что-то вроде Java 8

write((Param & Writable) o);

Можно ли вызвать такую ​​функцию, даже пропуская проверку типа?