summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T19093.hs
blob: 4e322e110812678bbc5fc5926d0859d626b5f97b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
{-# Language RankNTypes, TypeApplications, PolyKinds, DataKinds,
             TypeOperators, StandaloneKindSignatures, TypeFamilies,
             FlexibleInstances, MultiParamTypeClasses #-}

module T19093 where

import Data.Proxy
import Data.Type.Equality
import Data.Kind

type PolyKinded :: Type -> Type
type PolyKinded res = (forall (k :: Type). k -> res)


type  TryUnify :: PolyKinded (PolyKinded Constraint)
-- type TryUnify :: Bool -> forall k. k -> forall k. k -> Constraint
-- type TryUnify :: Bool -> PolyKinded (forall k. k -> Constraint)

class TryUnify a b where