Haskell:使用UNPACK Pragma的GADT

Question

UNPACK支持正常的数据类型，如下所示：

data T = T {-# UNPACK #-} ! Int

但是有没有办法在GADT中使用UNPACK Pragma呢？

Answer 1

我尝试了一下，发现它实际上可以与构造函数参数一起工作。

data BinHeap a where
  Empty :: (Ord a) => BinHeap a
  HeapNode :: (Ord a) => a -> {-# UNPACK #-} !Int -> BinHeap a -> BinHeap a -> BinHeap a

好的。