Among the theorems of early geometric model theory there is one by Lachlan stating that every totally categorical structure with a trivial pregeometry is intrepretable in a dense linear order.
That suggests in particular that there are totally categorical structures with a trivial pregeometry that are not interpretable in the trivial structure $(M,=)$. Could someone kindly give an example of such a structure?