Unboxed type
Unboxed types represent raw values. Unboxed types have kind #.
Note that unboxed types of different storage behaviours are all lumped together under kind #. As a result, type variables must have kinds which are #-free.
Unboxed types represent raw values. Unboxed types have kind #.
Note that unboxed types of different storage behaviours are all lumped together under kind #. As a result, type variables must have kinds which are #-free.