<div dir="ltr">This is the only possible definition...so it should exist<br><div><br></div><div>instance Alternative Proxy where</div><div>  empty = Proxy</div><div>  _ <|> _ Proxy</div></div>