{-# LANGUAGE GADTs #-} module Main (main) where data CmmNode e x where CmmEntry :: {-# UNPACK #-} !Int -> CmmNode e x data UI = UI {-# UNPACK #-} !Int