make Packing a family of monad, and add an PackingStrict to replace Packing.