Li-Fan Chen
says to
YSITD
Kotlin 的型別系統又再稍微弱了一些