path: root/testsuite/tests/typecheck/should_fail/T12729.hs

{-# LANGUAGE GADTs, MagicHash #-}

module T12729 where

import GHC.Exts

newtype A where
   MkA :: Int# -> A

newtype B = MkB Int#