Haskell: GADT mit UNPACK Pragma

Question

UNPACK unterstützt eine normale Datentypen, wie im folgenden dargestellt:

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

Aber gibt es eine Möglichkeit, die UNPACK Pragma mit GADT zu benutzen?

Answer 1

Versucht es und festgestellt, dass es tatsächlich mit Konstruktorfunktion Argumente funktioniert.

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

Schön.