blob: d211fc94f234696c5a2cc47c73c311a71d58fa78 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE GADTs, UnliftedNewtypes, StandaloneKindSignatures, RankNTypes, TypeFamilies, PolyKinds #-}
module T18891 where
import GHC.Exts( TYPE )
newtype N1 :: forall k. TYPE k where
MkN1 :: N1 -> N1
type N2 :: forall k. TYPE k
newtype N2 :: forall k. TYPE k where
MkN2 :: N2 -> N2
|