blob: 6b48921834eb9168dc167cb15f296a12c85dfe29 (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE TypeInType, GADTs, KindSignatures #-}
module T16344 where
import Data.Kind
-- This one is accepted, even though it is polymorphic-recursive.
-- See Note [No polymorphic recursion] in GHC.Tc.Gen.HsType
data T3 ka (a::ka) = forall b. MkT3 (T3 Type b)
|
