Revision as of 23:50, 26 February 2006 by Ashley Y
Note that unboxed types of different storage behaviours (four bytes, eight bytes etc.) are all lumped together under kind #. As a result, type variables must have kinds which are #-free.
This article is a stub. You can help by expanding it.