blob: b4673d51748839b179c3ca137f1c2356ed4ad5ce (
plain)
1
2
3
4
5
6
|
T1 :: forall (f :: * -> *) a. f a -> *
T2 :: forall a (f :: * -> *). 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 a (f :: * -> *). f a -> *
T6 :: forall {k} (a :: k) (f :: k -> *). f a -> *
|
