Haskell: GADT z Rozpakować Pragma

Question

rozpakować obsługuje normalnych typów danych, jak pokazano w poniższym przykładzie:

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

Ale czy istnieje sposób na wykorzystanie rozpakować Pragma z GADT?

Answer 1

Próbowałem go i stwierdziłem, że działa on z argumentami funkcji Konstruktora.

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

Nice.