Proxy1 :: forall k -> k -> *