  In this paper we study properties of left (right) division (cancellative)
groupoids with associative-like identities, namely, with cyclic associative
identity (x (y z) = (z x) y) and Tarki (x (z y) = (x y) z) identities.
