Type-assertion Packages