f :: forall k (a :: k) j (b :: j). Proxy a -> Proxy b -> ()
g :: forall j (b :: j) k (a :: Proxy Proxy).
     Proxy b -> Proxy a -> ()
h :: forall j k (a :: (j, k)) (b :: Proxy a).
     Proxy a -> Proxy b -> ()