Hmm, the is `type` the static type or the dynamic type, for languages where both apply?