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 -> *