blob: 52fc4defe9d2baaa026891fd91367eb3c964e1ea (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE PolyKinds, UnliftedNewtypes, StandaloneKindSignatures, TypeFamilies, GADTs, DataKinds #-}
module T18357a where
import Data.Kind
import GHC.Exts
newtype T :: TYPE r where
MkT :: Int -> T
|