Haskell：GADT与UNPACK Pragma

Question

UNPACK支持普通数据类型，如下所示：

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

但有没有办法将UNPACK Pragma与GADT一起使用？

Answer 1

尝试了它，发现它实际上与构造函数参数一起使用。

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

尼斯。