testsuite/tests/typecheck/should_fail/T18357.hs


1
2
3
4
5
6
7
8
9
10
11
12
13

{-# LANGUAGE StandaloneKindSignatures, TypeFamilies, GADTs, DataKinds #-}

module T18357 where

import Data.Kind

type family Star where Star = Type

type W :: Star
type W = T

newtype T where
  MkT :: Int -> W