Haskell: GADT con ESTRAZIONE Pragma

Question

ESTRAZIONE supporta normali tipi di dati, come mostrato nella figura seguente:

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

Ma c'è un modo per utilizzare il Pragma ESTRAZIONE con GADT?

Answer 1

Provato e trovato che effettivamente funziona con argomenti di funzione del costruttore.

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

Nice.