Type-assertions Packages