Common axioms for groups are associativity, existence of two-sided identity and existence of two-sided inverses. (Sometimes even uniqueness is required too.) However, it is enough to require associativity, existence of right identity and existence of right inverses.

If we mix directions and require right identity and left inverses, we get something not too far removed from a group (I'll leave it as an exercise...)