well, things are typed