empty = left mempty

    Left x <|> Left y = Left (x <> y)

    Left _ <|> y = y

    x <|> _ = x

Leftmost Right is returned for sake of consistence with Semigroup instance.