為了把 FP 跟 OO 整在一起（subtyping, covariance, contravariance 什麼鬼的），scala 常常可以寫出型別正確但語義不詳的鬼東西 XD