bar @Int :: Show Int => Int -> b -> Int
bar @Int :: forall b. Show Int => 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