Re: [Haskell-cafe] Unboxed, zero-width :~:/Refl?