Extends the reach of unboxed statically typed values. It's awesome in its power that way, while still using the same type checked trait model for generics.