testsuite/tests/dependent/should_fail/T15743d.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE PolyKinds, DataKinds, ExplicitForAll #-}

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)