The Kotlin Type System + Comparing RxJava with Flow