Haskell: GADT với giải nén pragma

Question

giải nén hỗ trợ các kiểu dữ liệu bình thường, như thể hiện trong những điều sau đây:

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

Nhưng có một cách để sử dụng pragma với GADT giải nén?

Answer 1

Đã thử và thấy rằng nó thực sự hoạt động với các đối số hàm Constructor.

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

Tốt.