This is the only possible definition...so it should exist

instance Alternative Proxy where
  empty = Proxy
  _ <|> _ Proxy