type T = MkT { a :: Int + {-# UNPACK #-} }