blob: 20d8ace945e94e6c87f5f2b610cb6e0e88d6893c (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE TypeFamilies #-}
module T16829a where
import GHC.Exts
newtype T :: TYPE IntRep where
MkT :: Int# -> T
|