blob: b0d4f8b34d8f1645fc7e15579c8eee585f7a40ab (
plain)
1
2
3
4
5
6
|
T1 :: forall (f :: * -> *) a. f a -> *
T2 :: forall (f :: * -> *) a. f a -> *
T3 :: forall a (b :: Proxy a) (c :: Proxy b). Proxy '(a, c) -> *
T4 :: forall a (b :: Proxy a) (c :: Proxy b). Proxy '(a, c) -> *
T5 :: forall (f :: * -> *) a. f a -> *
T6 :: forall {k} (f :: k -> *) (a :: k). f a -> *
|
