more info about static types