<div dir="auto">instance Alternative f => Alternative (f :+: g) where<div dir="auto">    empty = InL empty</div><div dir="auto">    InL x <|> InL y = InL (x <|> y)</div><div dir="auto">    InL _ <|> y = y</div><div dir="auto">    x <|> _ = x</div><div dir="auto"><br></div><div dir="auto">This is analogous to the proposed Alternative Either instance.</div></div>