blob: 3fdeb207f8089775cb032336f1c6fc9cdf74a284 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE GADTs, PolyKinds #-}
module T6093 where
-- Polymorphic kind recursion
data R :: k -> * where
MkR :: R f -> R (f ())
data IOWitness (a :: k) = IOW
data Type :: k -> * where
SimpleType :: IOWitness a -> Type a
ConstructedType :: Type f -> Type a -> Type (f a)
|
