bar @Int :: Int -> b -> Int
bar @Int :: forall {b}. Int -> b -> Int
prox :: forall {k} {a :: k}. Prox @{k} a
prox @Int :: Prox @{*} Int
Prox :: forall {k} {a :: k}. Prox @{k} a
Prox @Int :: Prox @{*} Int