1 2 3 4 5 6 7 8 9 10
{-# LANGUAGE GADTs, MagicHash #-} module T12729 where import GHC.Exts newtype A where MkA :: Int# -> A newtype B = MkB Int#