testsuite/tests/typecheck/should_fail/T18357a.hs


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