Haskell: GADT with UNPACK Pragma

Question

UNPACK supports regular data types, as shown below:

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

But is there a way to use UNPACK Pragma with GADT?

Answer 1

Tried this and found that it really works with the constructor arguments.

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

Nice.