Data.Primitive.Unlifted.Box

Traditionally, there were only a few basic unlifted types available in GHC, all of them primitive. Now, with the UnliftedNewtypes and UnliftedDatatypes extensions, users are free to create as many as they like. However, many essential facilities, like the Monad class, still work only with lifted types, so users must wrap their unlifted types into lifted ones to use those. If the wrapped version of a type is likely to be used heavily on its own, it often makes sense to write a custom wrapper type for it. This module exports a general box for situations where the focus should be on the unlifted type rather than its wrapper.