blob: b3b6b2ffd4664a4c46aafa86839366203a587d39 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE PolyKinds, DataKinds, ExplicitForAll #-}
{-# LANGUAGE RoleAnnotations #-}
module T15743 where
import Data.Kind
import Data.Proxy
data SimilarKind :: forall (c :: k) (d :: k). Proxy c -> Proxy d -> Type
data T2 k (c :: k) (a :: Proxy c) (b :: Proxy d) (x :: SimilarKind a b)
type role T2 nominal nominal nominal nominal -- Too few!
|
