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
|
