C :: forall {k} (i :: k). Proxy i -> Constraint
F :: k -> Type