blob: f0f4dd245daf1427c999339e01b248db83f1f8ce (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE UnliftedNewtypes, StandaloneKindSignatures, TypeFamilies, GADTs, DataKinds #-}
module T18357b where
import Data.Kind
type family Star where Star = Type
newtype T :: Type where
MkT :: Int -> (T :: Star)
-- The error message is pretty terrible
-- but it probably never happens in practice
|