static type are really static now